Subject: Re: csh pushd
To: None <firstname.lastname@example.org>
From: Christos Zoulas <email@example.com>
Date: 04/20/2004 00:04:15
In article <20040419232700.GA10159@netmeister.org>,
Jan Schaumann <firstname.lastname@example.org> wrote:
>Christos Zoulas <email@example.com> wrote:
>> In article <20040419122437.GB23603@netmeister.org>,
>> Jan Schaumann <firstname.lastname@example.org> wrote:
>> >Question is, do we want to retain this behaviour for historic reasons or
>> >rather do the (albeit not really helpful) right thing, then?
>> I'd leave it alone; less effort.
>Ok. I guess it doesn't warrant a note in the BUGS section of the man
>page either (though I do think it's a bug). But the man-page should be
>changed to specify 'pushd +n' instead of 'pushd n' as the latter is
Yes, the man page should be fixed.