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
