Re: Command != command ???

[Philippe Troin <phil@xxxxxxxx>]

Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> writes:

> On Jul 24,  8:32pm, Philippe Troin wrote:
> }
> } Extended_glob is not necessary for **.
> 
> Note that ** is the same as *.  Only **/ is special -- the slash is
> a necessary part of the token.
> 
> } Yet, the manual states (FILENAME GENERATION > Recursive Globbing):
> } 
> }        As a shorthand, `**/' is equivalent to `(*/)#'; note  that
> }        this  therefore  matches files in the current directory as
> }        well as subdirectories.
> } 
> } And earlier on (FILENAME GENERATION > Glob Operators):
> } 
> }        x#     (Requires EXTENDED_GLOB to be set.)   Matches  zero
> }               or  more occurrences of the pattern x. 
> } 
> } Should we fix the manual?
> 
> The first bit that you quoted is talking about semantics.  The second
> excerpt is talking about syntax.  There is nothing to fix; "equivalent
> to" does not mean "may always be typographically replaced by".

Fair enough.

Phil.