mksh exec bug.

[Pawel Golaszewski]

On Sun, 15 Jan 2012, Adam Osuchowski wrote:
> > Inaczej: które z tych 'innych celów' predestynują go do /bin/sh 
> > bardziej, niż zsh.
> Tu aż się prosi o wdrożenie czegoś, co conajmniej kiedyś było (nie wiem
> czy dalej jest) w Debianie, mianowicie /etc/alternatives. Każdy by sobie
> ustawił jako /bin/sh takiego shella jak mu pasuje i nie byłoby awantury.
> I odpowiadając od razu na zarzut, że /bin/sh to nie może być dowolny
> shell bo ma być POSIX-compliant: jak widać każdy z shelli pretendujących
> do tego tytułu ma jakieś mankamenty (czasami wynikające z braku precyzji
> standardu) więc zawsze coś komuś nie zadziała, zawsze mogą wystąpić problemy
> i jest to ogólnie sytuacja patowa.

Nie, nie, nie.

alternatives - może i tak, ale NIE dla /bin/sh
System _musi_ być robiony pod konkretnego shell-a i nic tego nie zmieni. 
Inaczej skończymy z tym, że nie możesz zainstalować usług razem, bo część 
będzie wymagało jednego /bin/sh, a druga część innego. Chore.

-- 
pozdr.  Paweł Gołaszewski          jid:blues<at>jabber<dot>gda<dot>pl
--------------------------------------------------------------------------
If you think of MS-DOS as mono, and Windows as stereo, then Linux is Dolby
Pro-Logic Surround Sound with Bass Boost and all the music is free.