diff options
| author | Xiao Pan <gky44px1999@gmail.com> | 2023-10-25 21:33:42 -0700 |
|---|---|---|
| committer | Xiao Pan <gky44px1999@gmail.com> | 2023-10-25 21:33:42 -0700 |
| commit | ffa42b64533791503885011f8ddda39ad0c07c49 (patch) | |
| tree | 9288c4a51b2b50f4c28bcf8e2436faa4ff66cbb1 /home/xyz/.local | |
| parent | f2914410b3a35d01de09e27962ab9a992b7096da (diff) | |
grrc supress error messages about "No such file or directory". Easier to use same script across different hosts
Diffstat (limited to 'home/xyz/.local')
| -rwxr-xr-x | home/xyz/.local/bin/grrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/xyz/.local/bin/grrc b/home/xyz/.local/bin/grrc index ee8942b2..be97f432 100755 --- a/home/xyz/.local/bin/grrc +++ b/home/xyz/.local/bin/grrc @@ -1,4 +1,4 @@ #!/bin/sh # GRep -R Code -[ "$1" ] && find "$HOME/archive/programs/public_archive_codes" "$HOME/archive/programs/private_archive_codes" "$HOME/archive/programs/me106_proj_fall2021" "$HOME/archive/programs/car_job/av_dev" "$XDG_DOCUMENTS_DIR/notes" -mindepth 1 -maxdepth 1 -path "*/\.git" -prune -o -type d -print0 | xargs -0 grep --color=always -iIR "$@" "$HOME/.local/bin" "$HOME/.bashrc" "$HOME/.profile" "$HOME/.xinitrc" "$HOME/programs/suckless/dwm_fly/config.def.h" "$XDG_CONFIG_HOME/nsxiv/exec/key-handler" | "$PAGER" +[ "$1" ] && find "$HOME/archive/programs/public_archive_codes" "$HOME/archive/programs/private_archive_codes" "$HOME/archive/programs/me106_proj_fall2021" "$HOME/archive/programs/car_job/av_dev" "$XDG_DOCUMENTS_DIR/notes" -mindepth 1 -maxdepth 1 -path "*/\.git" -prune -o -type d -print0 2>/dev/null | xargs -0 grep -s --color=always -iIR "$@" "$HOME/.local/bin" "$HOME/.bashrc" "$HOME/.profile" "$HOME/.xinitrc" "$HOME/programs/suckless/dwm_fly/config.def.h" "$XDG_CONFIG_HOME/nsxiv/exec/key-handler" | "$PAGER" |