diff options
| author | William Carroll <wpcarro@gmail.com> | 2017-07-30T01·41-0400 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2017-07-30T01·41-0400 |
| commit | 3cc2f2bf62918a5f6ea2287ffbc4c6b02aa240ed (patch) | |
| tree | 547118a80c68a9be67d0792e16bb41bdc8d0bd23 | |
| parent | c05c4d7a02b7eb2b6595ae54b7649fd7c1339e2b (diff) | |
Defines convenience function for quickly fuzzy-finding files
| -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" |