On 12/2/2018 1:43 PM, Steven Penny wrote:
Using this file:
$ cat hello.sh
awk -f /dev/fd/3 3<<eof
BEGIN {
print "hello world"
}
eof
it runs as expected with Dash:
$ dash hello.sh
hello world
However it fails with Bash:
$ bash hello.sh
awk: fatal: can't open source file `/dev/fd/3' for reading (No such
file or
directory)
I tried also with Debian and both Dash and Bash work as expected. What is
causing Cygwin Bash to fail here?
Same for me and interestingly:
$ ls -ld /dev/fd/*
ls: cannot access '/dev/fd/3': No such file or directory
ls: cannot access '/dev/fd/31': No such file or directory
lrwxrwxrwx 1 eboyd53 eboyd53 0 Dec 3 10:39 /dev/fd/0 -> /dev/pty2
lrwxrwxrwx 1 eboyd53 eboyd53 0 Dec 3 10:39 /dev/fd/1 -> /dev/pty2
lrwxrwxrwx 1 eboyd53 eboyd53 0 Dec 3 10:39 /dev/fd/2 -> /dev/pty2
--
cyg Simple
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
