Defines convenience function for quickly fuzzy-finding files
This commit is contained in:
parent
c05c4d7a02
commit
3cc2f2bf62
1 changed files with 7 additions and 0 deletions
|
@ -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
|
# tests an internet connection
|
||||||
function is_online {
|
function is_online {
|
||||||
wget -q --spider "http://google.com"
|
wget -q --spider "http://google.com"
|
||||||
|
|
Loading…
Reference in a new issue