Am 15.08.2019 um 00:47 schrieb Allin Cottrell:
On Thu, 15 Aug 2019, Riccardo (Jack) Lucchetti wrote:
> On Wed, 14 Aug 2019, leonardosuarezromero(a)gmail.com wrote:
>> Does anyone know how to allow shell commands in Gretl-git built-based
>> Linux server without using the GUI?
> You can edit the .gretl2rc file and set the "shellok" parameter to
To add one point to Jack's answer: on a *nix-type system such as debian
the file .gretl2rc can be found in the user's $HOME directory.
So the remark in
the documentation " GUI ... is the only way to do so"
is wrong, no?