[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.
http://en.wikipedia.org/wiki/Debian_Almquist_shell
The dash shell is much smaller and significantly faster than bash.
- [Texmacs-dev] texmacs 1.0.7 fails to build with g++-4.3, Kamaraju S Kusumanchi, 2009/04/20
- Re: [Texmacs-dev] texmacs 1.0.7 fails to build with g++-4.3, Joris van der Hoeven, 2009/04/20
- [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu, Andrea Gamba, 2009/04/22
- Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu, Joris van der Hoeven, 2009/04/25
- Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu, Andrey G. Grozin, 2009/04/26
- Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu, Joris van der Hoeven, 2009/04/26
- Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu,
David Allouche <=
- Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu, Joris van der Hoeven, 2009/04/27
- [Texmacs-dev] Octave plugin, Andrea Gamba, 2009/04/27
- Re: [Texmacs-dev] Octave plugin, Joris van der Hoeven, 2009/04/27
- Re: [Texmacs-dev] Octave plugin, Andrea Gamba, 2009/04/27
- Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu, Andrea Gamba, 2009/04/27
- Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu, Joris van der Hoeven, 2009/04/27