3
# Produce a list of all .page files containing
4
# outdated release names which may or may not
5
# need to be updated, depending on use.
8
# Type this command in the current directory to run this script:
9
# bash check_releases.sh
54
for i in "${ReleaseNames[@]}"; # for each name in the ReleaseNames array above
55
do # do the following:
56
grep -q $i *.page; # check all .page files for the release name
57
if [ "$?" = "0" ]; # if you find it
59
echo; # display a blank line
60
echo "== These pages contain $i =="; # display this header with the release name
61
grep -l $i *.page; # display a list of the pages
64
fi; # finished with the .page files
65
done; # done with the names in the array
66
exit 0; # exit with a status code of 0