[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: Joris van der Hoeven
Subject: Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu
Date: Mon, 27 Apr 2009 15:00:55 +0200
User-agent: Mutt/1.5.9i

On Mon, Apr 27, 2009 at 11:38:28AM +0200, David Allouche wrote:
> 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.
> http://en.wikipedia.org/wiki/Debian_Almquist_shell
> The dash shell is much smaller and significantly faster than bash.

Thanks, --Joris

Those who experienced problems with the plug-ins,
can you give more precisions about what goes wrong?

reply via email to

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