chiark / gitweb /
dot/bashrc: Fix gratuitously broken zgrep alias.
[profile] / dot / bashrc
index 7f001414c84b17ef865c500c0854b0a9c3cd60cf..e8bf6a477e4a9b251520cffb508fa611e374a7a0 100644 (file)
@@ -127,7 +127,7 @@ greplike () {
 alias grep="greplike grep"
 alias egrep="greplike egrep"
 alias fgrep="greplike fgrep"
-alias zgrep="greplike fgrep"
+alias zgrep="greplike zgrep"
 
 # --- Set up some simple aliases ---