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
