[Gretl-devel] Re: checking the status of "set" options
Am 19.06.21 um 20:40 schrieb Riccardo (Jack) Lucchetti:
On Sat, 19 Jun 2021, Allin Cottrell wrote:
> ? set shell_ok
> shell_ok: boolean (on/off), currently on
>
> 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.
This would be quite nice. Or we could add a key to $sysinfo.
Yes, that's also useful and would avoid having another accessor.
Best,
Artur