Suppress output of dirs when calling pushd.

This commit is contained in:
Manuel Friedli 2020-07-23 20:53:18 +02:00
parent a92e7a90b5
commit 9a929d440c

View file

@ -123,7 +123,8 @@ trap 'sudo -k; popd; rm -r ${tmpdir}' EXIT
# Create a temp directory, chdir into it and create the (initially empty)
# banlist file.
tmpdir=$(mktemp -d)
pushd "${tmpdir}"
# Suppress output of dir stack.
pushd "${tmpdir}" > /dev/null
touch "${banlist}"
# Parse the command line options