Tomas Hlavaty Tue, 26 Jul 2022 12:12:54 -0700
Hi, is there a way to turn off history so that a script or server does not open the history-file at all?
Regards, Tomas