Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

fix shell when bash is needed instead of sh #1946

wants to merge 2 commits into


None yet
4 participants

shtouff commented Jul 4, 2013

Hello Robby

under Debian sh is often aliased to dash, which doesn't support some bashisms (function keyword notably). So I replaced calls to sh with bash.

Well, bash is always called as /bin/bash, no need using relative paths.

shtouff commented Jul 18, 2013

Ok, I corrected it. My intention was to not depend on a particular path for bash but now in 2013, it's installed on /bin/bash on almost all platforms.


mcornella commented May 28, 2014

We'll proceed using zsh for everything from now on. Thanks anyway for your contribution!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment