On Wed, 25 Jun 2008, Gordon Hughes wrote:
# gretl config file
# Main gretl directory
gretldir = /usr/share/gretl/
Another thought. You might try this:
Delete ~/.gretl2rc and run
gretl --dump
at the shell prompt in a terminal to get a dump of the
configuration information.
Allin.