Re: [Help-bash] builtin commands with duplicated documentation strings

[Chet Ramey]

On 1/9/17 4:47 PM, Ernest Adrogué wrote:
> Hello,
> 
> I noticed that the POT file contains what seem to be some redundant
> strings.  For instance, I see two similar-looking strings describing the
> pushd builtin.  Both of them come from builtins/pushd.def (you can find
> them searching the string "Adds a directory").  One seems to be a more
> complete version of the other, while the other one in addition to be
> lacking some stuff also has a weird indentation.
> 
> Since I'm in the process of translating this file, I was wondering if
> this is intentional or it's some kind of mistake.

It's intentional.  The file (pushd.def) can be built as part of bash or
as a loadable builtin, and the help documentation has to be included for
each case.
-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    address@hidden    http://cnswww.cns.cwru.edu/~chet/