sh (was Re: About standards Was: Re: Debian Installer 7.0 Beta4 release)

2012-11-27 Thread Jon Dowland
On Tue, Nov 27, 2012 at 11:30:20AM +0100, Ralf Mardorf wrote: Also very nice is the output of $ ls -l /bin/sh for Ubuntu it's not bash. For modern Debian installations it's not bash either. Switching /bin/sh to dash by default was done principally to make boot times quicker (dash is

Re: sh (was Re: About standards Was: Re: Debian Installer 7.0 Beta4 release)

2012-11-27 Thread Ralf Mardorf
On Tue, 2012-11-27 at 12:02 +, Jon Dowland wrote: On Tue, Nov 27, 2012 at 11:30:20AM +0100, Ralf Mardorf wrote: Also very nice is the output of $ ls -l /bin/sh for Ubuntu it's not bash. For modern Debian installations it's not bash either. Switching /bin/sh to dash by default

Re: sh (was Re: About standards Was: Re: Debian Installer 7.0 Beta4 release)

2012-11-27 Thread Morel Bérenger
Le Mar 27 novembre 2012 14:29, Ralf Mardorf a écrit : On Tue, 2012-11-27 at 12:02 +, Jon Dowland wrote: On Tue, Nov 27, 2012 at 11:30:20AM +0100, Ralf Mardorf wrote: Also very nice is the output of $ ls -l /bin/sh for Ubuntu it's not bash. For modern Debian installations it's not

Re: sh (was Re: About standards Was: Re: Debian Installer 7.0 Beta4 release)

2012-11-27 Thread Jon Dowland
On Tue, Nov 27, 2012 at 02:29:15PM +0100, Ralf Mardorf wrote: Does it really carry weight? With sysvinit, which spawns a lot of sh instances, yes. With something like systemd, no - it tries to solve the same problem in part by not spawning a shell lots of times. -- To UNSUBSCRIBE, email to

Re: sh (was Re: About standards Was: Re: Debian Installer 7.0 Beta4 release)

2012-11-27 Thread Lisi Reisz
On Tuesday 27 November 2012 12:02:34 Jon Dowland wrote: For modern Debian installations it's not bash either. Switching /bin/sh to dash by default was done principally to make boot times quicker (dash is smaller and faster to load than bash). Thanks for the information, Jon. I hadn't realised

Re: sh (was Re: About standards Was: Re: Debian Installer 7.0 Beta4 release)

2012-11-27 Thread Kushal Kumaran
Lisi Reisz lisi.re...@gmail.com writes: On Tuesday 27 November 2012 12:02:34 Jon Dowland wrote: For modern Debian installations it's not bash either. Switching /bin/sh to dash by default was done principally to make boot times quicker (dash is smaller and faster to load than bash). Thanks

Re: sh (was Re: About standards Was: Re: Debian Installer 7.0 Beta4 release)

2012-11-27 Thread Jon Dowland
On Tue, Nov 27, 2012 at 03:11:54PM +, Lisi Reisz wrote: Thanks for the information, Jon. I hadn't realised that! I've merrily carried on using bash. :-/ Bash is a lot friendlier and better suited as a login or interactive shell. The startup time is not so important for that situation.