On 5/30/23 4:46 PM, Robert Elz wrote:
Date: Tue, 30 May 2023 15:28:57 -0400
From: Chet Ramey <chet.ra...@case.edu>
Message-ID: <ad399376-280e-bcdd-1aff-740f1a6ea...@case.edu>
| Hmmmm. That's not the only option. How about we load it if found but mark
| it as not enabled? It will still take `enable -d' to delete it.
That wouldn't match the man page, and isn't really rational.
The documentation can always be changed to match a change in behavior.
The man page says:
The -f option means to load the new builtin command name from
shared object filename, on systems that support dynamic loading.
and
If no options are supplied and a name is not a shell builtin,
enable will attempt to load name from a shared object named name,
as if the command were ``enable -f name name .
I think it's reasonable to stay like that, and change the behavior as
Emanuele proposes.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
