Ensure all helper scripts pushd/popd

Make sure all of these move to the root of the repository first, then
return to where they were afterwards, using pushd/popd. This allows them
to be executed from anywhere in the repo.
This commit is contained in:
2021-11-06 03:16:02 -04:00
parent b9c30baf80
commit ac885b855a
8 changed files with 29 additions and 4 deletions

4
lint
View File

@ -5,10 +5,14 @@ if ! which flake8 &>/dev/null; then
exit 1
fi
pushd $( git rev-parse --show-toplevel ) &>/dev/null
echo "Linting..."
flake8
ret=$?
if [[ $ret -eq 0 ]]; then
echo "No linting issues found!"
fi
popd &>/dev/null
exit $ret