mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-04-19 06:31:13 -03:00
This should be the last call to `grep` outside of a script specifically related to `grep`. (With the exception of `zpool`, which I've already written, but which will probably be merged later)