in push/pull_dotfiles.sh, route pushd and popd to /dev/null