[Gretl-devel] Re: Allow shell commands in gretl-git, linux server with out using the GUI