the day that dash became the default /bin/sh
Monday, 27. July 2009, 23:41:12
To "celebrate", I took a nap right before lunch and today I had a great day during the day trip.
Those wondering what I'm going to do next: I don't know yet. I still have many items on my ToDo list in addition to continue the bashisms-hunting work, so I don't feel like promising anything.
Like I said at the end of the talk, I'd like to thank a lot of people including (but not limited to) those who at some point contributed to make the change possible, those who use dash, those who don't, the maintainers of bash and dash, and Debian in general.









Anonymous # 28. July 2009, 00:57
We should now get a decent /bin/vi (preferably nvi).
Anonymous # 7. August 2009, 22:58
1. There are pages documenting the fact that dash is more efficient then bash. Use Google!
2. No, having Debian's boot scripts use dash is not an option. Among other reasons, a user might want to completely remove dash and use bash (maybe to shave that 2mB off of your flash drive distro?
3. Really, how hard can it be to migrate your in-house scripts to using /bin/bash... do you really have a library that enormous? You should put all your scripts in one place where you can grep them.