[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: turn off history
From: |
Tomas Hlavaty |
Subject: |
Re: turn off history |
Date: |
Wed, 27 Jul 2022 23:13:54 +0200 |
On Wed 27 Jul 2022 at 22:57, Bernd Paysan <bernd@net2o.de> wrote:
> I think putting the history initialization into bootmessage instead is the
> right place.
That would be great because
' noop IS bootmessage
would turn history off.
> The other thing that is difficult to turn off is the loading of ~/.config/
> gforthrc0. This can be controlled with a shell variable, but e.g. if you
> have
> your sever script using #! <path to gforth>, you can't turn off this
> environment variable, because only one extra argument is allowed, so
>
> #! /usr/bin/env GFORTH_ENV=off <path to gforth>
>
> is not valid.
I do not have ~/.config/gforthrc0 so this is not a problem for me at the
moment.
Maybe this should also be turned off with --no-rc?
Re: turn off history, Tomas Hlavaty, 2022/07/27