Skip to content

Instantly share code, notes, and snippets.

@erfanoabdi
Created June 14, 2018 20:40
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 erfanoabdi/047d2032c3cbabb371bfb40e5a34d078 to your computer and use it in GitHub Desktop.
Save erfanoabdi/047d2032c3cbabb371bfb40e5a34d078 to your computer and use it in GitHub Desktop.
#/bin/sh
proptxt="$1"
find="$2"
while read -r line
do
[[ $line = \#* ]] && continue
[ -z "$line" ] && continue
if [[ $line = '-'* ]]
then
line=`echo "$line" | cut -c2-`
fi
file=`echo "$line" | cut -d ":" -f 1 | cut -d "|" -f 1`
if ! grep -Fxq "$file" "$find"
then
echo "check $file"
fi
done < "$proptxt"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment