Simon Horman wrote: > On Tue, Oct 05, 2010 at 06:41:13PM -0500, Jonathan Nieder wrote:
>> More to the point, this is a sample .bash_logout file. Patch follows. > > I wasn't aware that using ksh as /bin/sh ws part of goal-dash. > Am I mistaken? No, you're correct. The reason I mentioned that was to explain why this would matter if this were an sh script (in addition to policy 10.4). Of course, this is not an sh script. Probably the bug was tagged as goal-dash as part of a checkbashisms run. IIRC checkbashisms checks POSIX compatibility rather than dash compatibility. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
