Le Mar 27 novembre 2012 14:29, Ralf Mardorf a écrit : > On Tue, 2012-11-27 at 12:02 +0000, 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 was done principally to make boot times quicker >> (dash >> is smaller and faster to load than bash). > > Does it really carry weight?
http://packages.debian.org/squeeze/dash 248k http://packages.debian.org/squeeze/bash 3536k Without dependencies, of course :) -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/12de9b2de027513074e21d6f15f135ed.squir...@www.sud-ouest.org