Re: turn off history

Anton Ertl <anton-eMTcDWn+JWX/RkxMZTRrOJdqbFPxfnh/@public.gmane.org> Wed, 27 Jul 2022 09:37:12 +0200

Newsgroups	gmane.comp.lang.forth.gforth
Message-ID	<[email protected]>

On Tue, Jul 26, 2022 at 09:12:28PM +0200, Tomas Hlavaty wrote:
> Hi,
> 
> is there a way to turn off history so that a script or server does not
> open the history-file at all?

Not easy without changing the source code of Gforth.  This happens in
'cold, which is a big pile of various initializations, and
HISTORY-COLD is buried deep in this pile.

Why do you want to avoid opening the file?

- anton