Re: turn off history

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

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

On Wed, Jul 27, 2022 at 01:00:37PM +0200, Bernd Paysan wrote:
> 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.

I have been thinking about having a word INTERACTIVE-COLD or somesuch,
used like 'COLD, but only invoked when enterin interactive mode, but
have not acted (yet).

- anton