[Gretl-devel] Re: checking the status of "set" options

Am 20.06.2021 um 12:08 schrieb Artur T.: > 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. I don't think $sysinfo is suitable, because it collects static information about the host machine and the gretl build. In contrast, the settings are dynamic.