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.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------