3 ms·
Probably something like this: $ cat zgrep #!/bin/sh # zgrep FILE ARGS... FILE="$1" shift gzip -d <"$FILE" | grep "$@"
by tbrownaw 11y ago
Probably something like this:
$ cat zgrep
#!/bin/sh
# zgrep FILE ARGS...
FILE="$1"
shift
gzip -d <"$FILE" | grep "$@"