[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gnu.org #1838744] Bash Manual, 3.6.2 Redirecting Inputs, SUGGESTION
|
From: |
Lawrence Velázquez |
|
Subject: |
Re: [gnu.org #1838744] Bash Manual, 3.6.2 Redirecting Inputs, SUGGESTION |
|
Date: |
Fri, 20 May 2022 19:11:12 -0400 |
|
User-agent: |
Cyrus-JMAP/3.7.0-alpha0-591-gfe6c3a2700-fm-20220427.001-gfe6c3a27 |
On Fri, May 20, 2022, at 7:01 PM, Lawrence Velázquez wrote:
> On Fri, May 20, 2022, at 2:06 PM, Therese Godefroy via RT wrote:
>> I'm going to tell him there is no guarantee that this can be changed.
>> For one thing, it would be difficult to find a letter that doesn't
>> take an unwanted meaning when associated with "word".
>
> Perhaps something like "num" or "fd" could be used
Or even "fdnum", to stretch the comparison with "varname" to its
breaking point.
--
vq
- [gnu.org #1838744] Bash Manual, 3.6.2 Redirecting Inputs, SUGGESTION, Therese Godefroy via RT, 2022/05/20
- Re: [gnu.org #1838744] Bash Manual, 3.6.2 Redirecting Inputs, SUGGESTION, Lawrence Velázquez, 2022/05/20
- Re: [gnu.org #1838744] Bash Manual, 3.6.2 Redirecting Inputs, SUGGESTION,
Lawrence Velázquez <=
- Re: [gnu.org #1838744] Bash Manual, 3.6.2 Redirecting Inputs, SUGGESTION, Chet Ramey, 2022/05/31