[Gretl-devel] Re: checking the status of "set" options
Am 20.06.2021 um 12:40 schrieb Riccardo (Jack) Lucchetti:
On Sun, 20 Jun 2021, Sven Schreiber wrote:
>>> 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.
Well, to be pedantic I should have to point out that we now have
$sysinfo.mem, which is (partly) dynamic.
I don't know what that is, it must be new. Perhpas it's even not a good
idea to put it in sysinfo when it's dynamic?
In any case, I think the term 'sysinfo' starts to be misleading if the
'set' output goes in there, it has nothing to do with the host system.
'$info' might be an encompassing term.
cheers
sven