<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.26.0">
</HEAD>
<BODY>
On Thu, 2010-11-11 at 23:40 +0100, Cyril Brulebois wrote:<BR>
<BLOCKQUOTE TYPE=CITE>
<TT><FONT COLOR="#1a1a1a">Thomas Dickey <<A HREF="mailto:dickey@his.com">dickey@his.com</A>> (11/11/2010):</FONT></TT><BR>
<TT><FONT COLOR="#737373">> That's probably the bash manpage, since you're quoting from it.</FONT></TT><BR>
<BR>
<TT><FONT COLOR="#1a1a1a">No, that's dash's. dash has some extra features on top of POSIX as far</FONT></TT><BR>
<TT><FONT COLOR="#1a1a1a">as I can tell. See [1], no “local” (except for “locale” ;)) stuff</FONT></TT><BR>
<TT><FONT COLOR="#1a1a1a">documented there.</FONT></TT><BR>
<BR>
</BLOCKQUOTE>
I have both "bash" and "dash" (first time I hear about it!) installed.<BR>
<BR>
man sh title: BSD General Commands Manual "command interpreter (shell)"<BR>
man bash title: GNU Bourne-Again SHell<BR>
<BR>
I'll gladly push a patch :-)
</BODY>
</HTML>