On 11/12/2010 06:09 AM, Thomas Dickey wrote: > On Thu, 11 Nov 2010, Gaetan Nadon wrote: > >> According to "man sh" on my Debian distro: > > That's probably the bash manpage, since you're quoting from it. > s/bash/dash/ -- wucan