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.
