Merge "Remove tools/glossary-sort.sh"
This commit is contained in:
commit
f572e189bf
|
@ -1,25 +0,0 @@
|
|||
#!/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/source/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
|
Loading…
Reference in New Issue