Am 15.01.2017 um 23:08 schrieb Allin Cottrell:
 On Sun, 15 Jan 2017, Sven Schreiber wrote: 
>
> I'm still undecided whether it should be a requirement that the
> current gretl instance has shell commands enabled, now that mpi and
> not the shell is used. Is there actually a way to check
> programmatically that gretl preference setting?
 Not directly, but it can be done:
 <hansl>
 function scalar shell_ok (void)
   outfile tmpbuf --buffer
   set # read the "set" variables
   outfile --close
   string s = strstr(tmpbuf, "shell_ok") + 10
   return atof(s)
 end function
 </hansl> 
Very clever -- but it kind of begs the introduction of a $set bundle 
accessor holding all the 'set' values; so one could do stuff like 
$set.shell_ok == 1 directly. OTOH, I guess one wouldn't want to have 
this bundle mutable, thus (falsely?) suggesting there would be a second 
way to set options, right?
-s