On 11/29/24 8:05 PM, Dan Jacobson wrote:
$ history is nice, but what if you want to have it read from a different file?
Use `history -r'?
$ help history
says
If FILENAME is given, it is used as the history file. Otherwise,
if HISTFILE has a value, that is used, else ~/.bash_history.
Alas, it also says
history: history [-c] [-d offset] [n] or
history -anrw [filename] or
history -ps arg [arg...]
So if one wants to use a filename, then one needs to use -anrw (-[anrw]).
Because those are the options that act on the history file. The rest act on the in-memory history list.
So maybe a new -f is needed: $ history -f filename to simply read from filename.
What exactly would this do?
--
``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
