b95dd2d355
Change-Id: I7ea0aea15b0fbd478748e3c54d1719a9732830ea
26 lines
729 B
Bash
Executable File
26 lines
729 B
Bash
Executable File
#!/bin/bash -xe
|
|
|
|
# Check that doc/common/glossary entries are alphabetized and prints
|
|
# list of entries that should be sorted.
|
|
|
|
# Cross-platform (Mac and Linux) commands to make a temporary working directory
|
|
thetmpdir=`mktemp -d 2>/dev/null || mktemp -d -t 'thetmpdir'`
|
|
trap "rm -rf $thetmpdir" EXIT
|
|
|
|
pushd $thetmpdir
|
|
GLOSSARY=$OLDPWD/doc/common/glossary.rst
|
|
|
|
grep '^ [a-zA-Z0-9]' $GLOSSARY > glossary_entries
|
|
|
|
LC_ALL=C sort --ignore-case glossary_entries -o glossary_entries.sorted
|
|
|
|
if ! diff glossary_entries glossary_entries.sorted > glossary_entries.diff; then
|
|
echo "The following entries should be alphabetized: "
|
|
cat glossary_entries.diff | grep -e '> '
|
|
exit 1
|
|
else
|
|
echo "Glossary alphabetized."
|
|
fi
|
|
|
|
popd
|