Thank you for taking the time to report this bug and helping to make Ubuntu better.
Dash is a POSIX compliant shell that is supposed to be more efficient than bash. For that reason, Ubuntu introduced /bin/sh as a symlink to dash back in Ubuntu 6.10: https://wiki.ubuntu.com/DashAsBinSh Every shell script that uses bash specific features should declare "#! /bin/bash" instead, or fix the "bashisms", the above mentioned link has a lot of advise on that. For a makefile, an easy fix is to set SHELL = /bin/bash at the beginning of it. Finally, if you want to disable the symlink on your system, you can run "sudo dpkg-reconfigure dash" and chose not to set this symlink. ** Changed in: dash (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/930806 Title: Ubuntu 11.10: The dash command is softlinked to /bin/sh. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/dash/+bug/930806/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
