Skip to content

Instantly share code, notes, and snippets.

@adrianpike
Created July 3, 2018 22:13
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save adrianpike/b23e026af99f40dd65c01652c4a26924 to your computer and use it in GitHub Desktop.
Save adrianpike/b23e026af99f40dd65c01652c4a26924 to your computer and use it in GitHub Desktop.
Quick way to find a filename in the usual way you're wanting to find a filename :)
function find_filename() {
if [ "$1" != "" ]
then
find . -not -path '*/\.*' | grep -i $1
else
echo "Need a filename"
fi
}
alias ff=find_filename
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment