diff options
| author | Aryadev Chavali <aryadev@aryadevchavali.com> | 2024-05-31 20:54:47 +0530 |
|---|---|---|
| committer | Aryadev Chavali <aryadev@aryadevchavali.com> | 2024-05-31 20:54:47 +0530 |
| commit | a882d15a3f458fb561620a5ccdc6ec3f1dea67cf (patch) | |
| tree | e12b3963ac2a7dcad4f65547d75ca82e929816da /Scripts/.local | |
| parent | 47655b7f03b5efebbfb5f0a414ebf137699c3ffb (diff) | |
| parent | 0bd2bcb172bd4acc96c859536e2b36f033eed9b1 (diff) | |
| download | dotfiles-a882d15a3f458fb561620a5ccdc6ec3f1dea67cf.tar.gz dotfiles-a882d15a3f458fb561620a5ccdc6ec3f1dea67cf.tar.bz2 dotfiles-a882d15a3f458fb561620a5ccdc6ec3f1dea67cf.zip | |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'Scripts/.local')
| -rwxr-xr-x | Scripts/.local/scripts/repo_find | 3 | ||||
| -rwxr-xr-x | Scripts/.local/scripts/rgrep | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/Scripts/.local/scripts/repo_find b/Scripts/.local/scripts/repo_find new file mode 100755 index 0000000..94c8580 --- /dev/null +++ b/Scripts/.local/scripts/repo_find @@ -0,0 +1,3 @@ +#!/usr/bin/env sh + +ssh git@git.aryadevchavali.com "ls /git" | grep $1 diff --git a/Scripts/.local/scripts/rgrep b/Scripts/.local/scripts/rgrep new file mode 100755 index 0000000..c95a42a --- /dev/null +++ b/Scripts/.local/scripts/rgrep @@ -0,0 +1,3 @@ +#!/usr/bin/env sh + +find -type 'f' -name $1 -exec grep --color=always -inH $2 "{}" ";" |