[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.
In principle $windows is redundant (given $sysinfo.os), and $version
could go into $sysinfo, too (maybe it should be copied there, indeed?),
but all that would be backwards-incompatible, of course.
(Furthermore, $macheps might also be a candidate for sysinfo, while
$seed might be part of the new $settings?)
cheers
sven