diff options
Diffstat (limited to 'sh/grrc')
-rwxr-xr-x | sh/grrc | 21 |
1 files changed, 21 insertions, 0 deletions
@@ -0,0 +1,21 @@ +#!/bin/sh +# GRep -R Code + +# logic: no descend, in this dir, if a dir name .git; then true and do nothing; else if a file name LICENSE; then true and do nothing; else print +[ "$1" ] && find "$HOME/programs/fsh" \ + "$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" \ + "$HOME/archive/programs/VisualDimension" \ + "$XDG_DOCUMENTS_DIR/sjsu_courses/spring_2024/math161a/hw" \ + "$XDG_DOCUMENTS_DIR/notes" \ + -mindepth 1 -maxdepth 1 -type d -name '.git' -o -type f -name 'LICENSE' -o -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" |