Program named "local" is not run

[Paul Smith]

Binary package hint: dash

I have a program named "local" on my PATH, but dash doesn't execute it:

$ cat > local
#!/bin/sh
echo hi

$ chmod 755 local

$ PATH=$PATH:.

$ local

$ ./local
hi

I think dash is trying to implement the bash extension for "local" variables (see bug #139097) However, this is not a POSIX feature and "local" is not listed as a shell reserved word, or even an optional reserved word.

$ dpkg -l dash
ii dash 0.5.4-1ubuntu3

[Daniel T Chen (crimsun)]

confirmed in 8.10 and 9.04