14268ec43e
We were only extracting letters, handle numbers as well. Change-Id: Ic4dfeb21eb2fb7b57a6a7f47432f13dbff9317cd
25 lines
612 B
Bash
Executable File
25 lines
612 B
Bash
Executable File
#!/bin/bash -xe
|
|
|
|
# Check that doc/common/glossary entries are alphabetized and prints
|
|
# list of entries that should be sorted.
|
|
|
|
export TMPDIR=`/bin/mktemp -d`
|
|
trap "rm -rf $TMPDIR" EXIT
|
|
|
|
pushd $TMPDIR
|
|
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
|