Package: dash Version: 0.5.4-11 Severity: normal I've found a problem on machines with dash used as default shell.
In the following toy program: #! /bin/dash # OK ls is not found PATH=/nowhere ls # The dash superpower: the following should failed but works on dash! PATH=/nowhere type ls PATH=/nowhere type ls ls If you try with #! /bin/bash the behaviour is correct. For information, this issue happens in a script invoking the PIPS source-to-source compiler ( http://www.cri.ensmp.fr/people/pips/ ) : # Avoid a recursion if no actual binary is found: PATH=./${PIPS_ARCH}:${PIPS_ROOT}/bin/${PIPS_ARCH} \ type ${what} > /dev/null || error 3 "no ${what} binary found!" This is why on my machine /bin/sh is indeed a link to /bin/bash... -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.25-2-amd64 (SMP w/2 CPU cores) Locale: [EMAIL PROTECTED], [EMAIL PROTECTED] (charmap=ISO-8859-15) Shell: /bin/sh linked to /bin/bash Thank you. Versions of packages dash depends on: ii libc6 2.7-12 GNU C Library: Shared libraries dash recommends no packages. dash suggests no packages. -- debconf information: dash/sh: false -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
