diff options
author | Xiao Pan <gky44px1999@gmail.com> | 2024-02-23 03:08:52 -0800 |
---|---|---|
committer | Xiao Pan <gky44px1999@gmail.com> | 2024-02-23 03:08:52 -0800 |
commit | dd78faaf40862bd1552ec36c41374b527f747284 (patch) | |
tree | b914f890c545db7168984f7bcc15cfc7c976c1d3 /grrc | |
parent | c808bb6ee7f77f077308a1f06f63dbee6a928f6d (diff) |
Reorganize shell scripts into sh dir, consider in the future fsh will have different kinds of files
Diffstat (limited to 'grrc')
-rwxr-xr-x | grrc | 21 |
1 files changed, 0 insertions, 21 deletions
@@ -1,21 +0,0 @@ -#!/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" |