Re: history -f filename

[Chet Ramey]

On 11/30/24 10:41 PM, Lawrence Velázquez wrote:
> On Sat, Nov 30, 2024, at 9:36 PM, Dan Jacobson wrote:
> > We see for simple
> > $ history
> > output, there's no way to change the file it reads, at least with the
> > current (same PID) shell.
>
> Why is "same PID" a requirement?  Why isn't something like this
> sufficient?
>
>         history_f() (
>                 history -c &&
>                 history -r -- "$1" &&
>                 history
>         )
>         history_f .bash_history_foobar

That *is* the `same PID' shell.

--
``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