On Sat, Nov 30, 2024, 2:05 AM Dan Jacobson <jida...@jidanni.org> wrote:
> $ history > is nice, but what if you want to have it read from a different file? > $ 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]). > > So maybe a new -f is needed: > $ history -f filename > to simply read from filename. > the hiatory file's name is in $HISTFILE u can supply those also individually to cmds >
