Forum Discussion
Altera_Forum
Honored Contributor
14 years agoHello,
thank you very much for you help! /bin/bash was the bash itself, but /bin/sh was linked to dash. I could change this withsudo dpkg-reconfigure dash and choosing "No". So your assumption was correct. But I guess my solution was only a workaround. Shell scripts depending on bash should explicitly call the bash (by setting the shebang) instead of the generous sh. Most Debian based distros use dash as non-interactive shell; some others even use csh or zsh for some purposes. Anyway - the problem is solved (or worked around). Thank you!