[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Chet Ramey
Subject: Re: [Help-bash] builtin commands with duplicated documentation strings
Date: Mon, 9 Jan 2017 17:42:17 -0500
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:45.0) Gecko/20100101 Thunderbird/45.6.0

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]