[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: turn off history

From: Anton Ertl
Subject: Re: turn off history
Date: Wed, 27 Jul 2022 09:37:12 +0200

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]