Re: history -f filename

[Chet Ramey]

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    chet@case.edu    http://tiswww.cwru.edu/~chet/

OpenPGP_signature.asc
Description: OpenPGP digital signature