widelands-dev team mailing list archive

[Hans Joachim Desserud <launchpad@xxxxxxxxxxxx>]

ls -la /bin/bash
What is it pointing to? Sounds like it might be symlinked to sh or something.

pushd and popd are some of the specific features which are only found i bash, not a standard POSIX-shell. (Probably why SirVer told you to specify bash insted of sh in the first line of the file. Normally sh is used because it guaranteed to be present and also makes it possible to run it with other shells such as zsh or csh which probably won't have bash-specific features.)

(Sorry if this is duplicated, I had problems submitting it)
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1219914/+merge/242772
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1219914.