Re: turn off history
Bernd Paysan <[email protected]> Wed, 27 Jul 2022 18:35:12 +0200
| Newsgroups | gmane.comp.lang.forth.gforth |
|---|---|
| Message-ID | <7411228.EvYhyI6sBW@liubei> |
Am Mittwoch, 27. Juli 2022, 13:13:08 CEST schrieb Anton Ertl: > 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). There are two hooks where to put things that get called when you enter interactive state. The first one is BOOTMESSAGE, the second is 'QUIT. We have put LOAD-RC into BOOTMESSAGE, so maybe that is the right place to initialize the interactive state. I would open the history last (after the boot message is displayed). -- Bernd Paysan "If you want it done right, you have to do it yourself" net2o id: kQusJzA;7*?t=uy@X}1GWr!+0qqp_Cn176t4(dQ* https://net2o.de/
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEERJ1NDqPQRwYnwBjr9y2Uk5MtoGcFAmLhaUAACgkQ9y2Uk5Mt oGdfBA/8DNzXnP5tMqWDGeItXGh85d3yCF53awBKgO53reTQw33WqK9N4Grm6ZnD nT/n0eJdHb6J26Y47xPMBsd0jZsZ4uia+5G3KI++8R/+rIpnnFTxm5qq9LCVz5fr yKndqrnaX1RDbg2WzaAqBDYFcYES3leFUXKTvjP/oLUmX9xfJyBfEsdwXfa92jvE k7gzeH+wDVxbar8iAW7ZgG8Jae8jngIWHpkSDU3YJCVjfb7w4g9IrqkJsNhA8ymw zjRuT2HP6aYUAHwr2Bk7Bc4oFAFQcbhRMQaCLeNHdFQQb7pynMAVR1Dcq1sZw3wE GpSxO9oM2R/1Q9/1X8BwRPPKaJOgCI+/lbipvVMb+tTFpLx8J3y2fUgsCfliVDTT jVMRk0FyWCJ+zf7O/IynJL4NfQZ7TyRq9o5fBbkPXWdwCkHwS4nJMj5kQZExCgR0 hdR4PNFtrFgITHmf12T699+EQkjD8Em3Vc1yPdxjpw/ZY109mQxLGZmz13WsCZ7r dGQ/bJ1t/xAokunKoq8SNMA6ric0Sj8CPhgPBiNOz3l8WxNr5OqmXS06nVnFfPua VH7XIMkm0lkmMBLUA+JZ1tbTGu26ohX79BTqpeCln7Ko2a6XnUeL6BQi6V/4fXBE GJF+GF2ngZijVaJsQUahmBNgWaDqF4n8hJsVKFiMsRDM0nkmMUk= =kcvu -----END PGP SIGNATURE-----