Am 20.06.21 um 12:44 schrieb Sven Schreiber:
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.
Yes, it's new and not official, yet: It grab's information on the
system's memory if I am right (@Allin?) and dates back on the Marcin's
presentation of the BMA package at the recent conference.
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.
"$info" sounds too generic to me: Information on/of what?