[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu

From: David Allouche
Subject: Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu
Date: Mon, 27 Apr 2009 11:38:28 +0200

On Sun, 2009-04-26 at 13:44 +0200, Joris van der Hoeven wrote:
> I am surprised by the problem under Ubuntu: is /bin/sh not there?
> This is weird, since UNIX requires /bin/sh to exist.

On Ubuntu, /bin/sh is the dash shell.


The dash shell is much smaller and significantly faster than bash.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]