[Gretl-devel] Re: checking the status of "set" options
Am 19.06.2021 um 18:55 schrieb Allin Cottrell:
On Sat, 19 Jun 2021, Sven Schreiber wrote:
> </hansl>
>
> This could be generalized, but the whole thing strikes me as relatively
> complicated. I have the feeling we discussed this before, but I don't
> remember any details. What's the best way to query the currently active
> set options programmatically?
? set shell_ok
shell_ok: boolean (on/off), currently on
Ah, actually I wasn't aware of this, it's not directly documented. But
it would only make it marginally easier.
But that's not programmatic of course. You do have the --to-file option
to "set". And I suppose we could offer a bundle of all set variables as,
say, $settings.
That would be useful, I think. So for the current gretl version(s) I
will stick to my workaround.
thanks
sven