On 2/14/25 9:48 AM, Chet Ramey wrote:
I think it's reasonable for the history builtin to report read errors here, something like this:bash: history: /dev/fd/63: read error: Inappropriate file type or format
The problem with this is that it errors on /dev/null, which has always
worked and is commonly used.
--
``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/
OpenPGP_signature.asc
Description: OpenPGP digital signature
