Hi Ignacio, I can't confirm this here on my Ubunt machine. Works fine here.
Best,
Artur
Am 03.10.2017 um 12:56 schrieb Ignacio Diaz-Emparanza:
This is only to report that I compiled gretl from Git today, all
seemed
to be ok but when trying to execute gretl it was reporting a "file not
found" message with respect to /opt/gretl/share/gretl/ui/gretlmain.xml I
investigated a little and saw that this file was really in
/opt/gretl/share/ui then moving the "ui" folder to
/opt/gretl/share/gretl all worked correctly.