Re: turn off history

[Bernd Paysan]

Am Dienstag, 26. Juli 2022, 21:12:28 CEST schrieb Tomas Hlavaty:
> Hi,
> 
> is there a way to turn off history so that a script or server does not
> open the history-file at all?

If you supply a nonexisting file or a file, which can't be created for lack of 
permissions in the respective directory with GFORTHHIST, it will try to open 
it, but failing so, not have a history.

Completely disabling requires changes to the source code.

Another question is: Should we open the history file later in the boot process, 
e.g. on entering interactive mode?  There's no need to do that earlier.

-- 
Bernd Paysan
"If you want it done right, you have to do it yourself"
net2o id: kQusJzA;7*?t=uy@X}1GWr!+0qqp_Cn176t4(dQ*
https://net2o.de/

signature.asc
Description: This is a digitally signed message part.