bug-bash
[Top][All Lists]
Advanced

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

Re: [PATCH 0/9] Add library mode to source builtin


From: Chet Ramey
Subject: Re: [PATCH 0/9] Add library mode to source builtin
Date: Tue, 7 May 2024 15:53:59 -0400
User-agent: Mozilla Thunderbird

On 5/7/24 3:40 PM, Kerin Millar wrote:
On Tue, 7 May 2024, at 7:14 PM, Chet Ramey wrote:
On 5/7/24 1:42 PM, Kerin Millar wrote:
On Tue, 7 May 2024, at 3:27 PM, Chet Ramey wrote:
On 5/5/24 3:39 PM, Kerin Millar wrote:

Such is the extent to which I concur that I find even -l to be irritating.

The option character isn't important. Is it useful to have an additional

If it were of no importance at all, once might then choose the character 
entirely at random. That's not usually what happens.

The issue is whether one is needed at all, not whether or not one character
irritates you.

If you meant something to the effect of "in the case that I decide that having an 
option is worthwhile, the choice of character is hardly the foremost concern in all of 
this", then by all means.

Pretty much "Don't get hung up on the specific character until we decide we
need one. Certainly don't let one irritate you."

--
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    chet@case.edu    http://tiswww.cwru.edu/~chet/




reply via email to

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