On Sun, 5 May 1996, Matthias Urlichs wrote:> /tmp/foo:> #!/bin/sh> echo "Did it"> > /tmp/bar:> #!/tmp/foo> # nothing interesting> > % chmod +x /tmp/foo /tmp/bar> % /tmp/bar> bash: ./bar: Permission denied> %> > Hmmm...Err, works for me using zsh 2.6-beta9 or bash 1.14.4(1) as theinteractive shell on Kernel 1.3.88--Darren J Moffat