[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
Re: turn off history, Tomas Hlavaty, 2022/07/27