Comments on: DASH on Ubuntu Linux. GNU. Freedom. Sun, 13 May 2018 18:21:35 +0000 hourly 1 By: Taylan Thu, 21 Apr 2011 18:59:57 +0000 Bash is surely quite "bloated" when compared to dash, but there will usually _not_ be too great of a speed increase in your boot time simply by switching to dash.

Depends greatly on what your boot scripts do of course, you might just gain a whole or even two whole seconds.
I'm half sarcastic half serious here. Two seconds is something, but you really won't get much more. If you do, your boot scripts are bloated themselves and so make the difference more apparent. 😛

By the way dash has some few "BSD extensions" (as the manpage calls them) on top of posix; running on dash is not a fully reliable posix conformance test. Just saying.

Another thing is that dash has some nasty bugs... At least one upstream as i'm writing this, i _just_ updated from git to be sure, don't know about Ubuntu/Debian versions though, maybe they're patched etc..

Irrelevant note: I just realized the browser/OS information on top of each comment. Don't believe mine, i'm on Uzbl and have a different useragent string for compatibility! 😀

By: Aaron Mon, 30 Jun 2008 16:08:55 +0000 test

By: No One in Particular Fri, 27 Jun 2008 23:21:38 +0000 Bash isn't an apt-get away, it's installed by default! (in ubuntu-minimal)
The issue is /bin/sh is linked to dash. (Dash is used for scripts, bash is the shell by default)
Your friends with the scripting problem need only redirect their shebang to /bin/bash, and all their problems will be solved.

If they ask for /bin/sh, they can't expect it to be bash, since... they're asking for anything that does scripts (including zsh, tsh, whatever). Not bash scripts.

Effectively, their shebangs are lying about what language the script is.

By: jldugger Fri, 27 Jun 2008 23:20:38 +0000 Isn't bash installed by default? Users should still have bash as their default shell, and like you mention, just changing /bin/sh to /bin/bash will work if you're not willing to remove bashisms.