diff options
Diffstat (limited to 'functions')
| -rw-r--r-- | functions/misc_functions.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/functions/misc_functions.sh b/functions/misc_functions.sh index d8f0c79d1378..59bbdcf04992 100644 --- a/functions/misc_functions.sh +++ b/functions/misc_functions.sh @@ -94,6 +94,13 @@ function wsearchpath { } +function ff { + # finds files smartly; using rg under-the-hood so blacklisted files are ignored + glob=$1 + rg -g "*$glob*" --files +} + + # tests an internet connection function is_online { wget -q --spider "http://google.com" |