Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
pushd/popd errors under dash in -exterminate
it turns out that popd and pushd are bash enhancements. Replaced popd and pushd in -exterminate with a simple pwd/cd + variable solution.
- Loading branch information