Skip to content

Instantly share code, notes, and snippets.

@dnoseda
Created April 3, 2012 14:42
Show Gist options
  • Save dnoseda/2292558 to your computer and use it in GitHub Desktop.
Save dnoseda/2292558 to your computer and use it in GitHub Desktop.
resultado=`grep $1 nota.txt`
if [ "$resultado" = "" ]; then
echo "no encontro"
else
echo "encontro"
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment