Re: issues in bash found while creating command result display

2019-04-17 Thread Chet Ramey
On 4/16/19 7:37 PM, Paul Wise wrote: > On Tue, 2019-04-16 at 14:57 -0400, Chet Ramey wrote: > >> Why take so much effort to (imperfectly) figure out and display >> things you already know? > > Correctness. If what the user knows doesn't match what the program > knows then they might think that th

Re: [PATCH] Add -q (quiet) option to pushd/popd

2019-04-17 Thread Benjamin Barenblat
On Sat, Apr 13, 2019 at 3:21 PM Chet Ramey wrote: Is the extra open a sufficient expense of resources to add this option? I know you say so above, but are resources scarce enough to make that a concern? For my particular use case, no. I certainly won't be offended if you decide the additional

Re: FYI - readline.0 has 7.0 in the footer whereas directory name is readline-8.0

2019-04-17 Thread Chet Ramey
On 4/16/19 10:43 PM, L A Walsh wrote: > > ^^ In the readline-8.0/doc directory from the readline tar with > time/date: Jan 7th 06:13, the ".0" (appears to be manpage) has > a 7.0 footer-line. Thanks for the report. -- ``The lyf so short, the craft so long to lerne.'' - Chaucer