[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: possible bash bug - 'history'
|
From: |
Chris Down |
|
Subject: |
Re: possible bash bug - 'history' |
|
Date: |
Sat, 10 Aug 2013 11:05:07 +0200 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On 2013-08-09 16:10, Chet Ramey wrote:
> So is there enough of a need to make 0 do something different? Or does
> $BASH_COMMAND suffice? (I suspect the answer to that question is "no",
> because it deals with commands rather than input lines.)
I agree, for this case I don't think $BASH_COMMAND suffices considering the
intention.
> What do folks think?
I can't imagine myself ever using it, but it seems like a reasonable feature
request to me. If POSIX doesn't say anything about it, I'm in favour of
implementing it in the most intuitive way (which, I think, is the way
proposed).
pgpPqRDvAu35A.pgp
Description: PGP signature