On 30/03/14 10:46, Allin Cottrell wrote:
On Sun, 30 Mar 2014, Alessandro Astuti wrote:
> I just typed sudo apt-get install gretl on the terminal
Ah, then it seems there's something wrong with the build on Debian
testing. Can you check if gretl.lang is installed? For highlighting to
work, it should be in
/usr/share/gtksourceview-2.0/language-specs/
It might be worth seeing if the wrong version was installed; that is, if
there's a gretl.lang in
/usr/share/gtksourceview-3.0/language-specs/
I don't run Debian myself -- can anyone else comment on this?
Allin Cottrell
I have Debian in a laptop, but don't know whether this may help, because
the setup is very different: it is Debian wheezy (stable) and Gretl is
installed by compiling the CVS version. In any case this is what I have:
The results of
ldd /path/to/gretl_x11 | grep gtk are:
libgtksourceview-3.0.so.0 =>
/usr/lib/x86_64-linux-gnu/libgtksourceview-3.0.so.0 (0x00007f9f07538000)
libgtk-3.so.0 => /usr/lib/x86_64-linux-gnu/libgtk-3.so.0
(0x00007f9f06ead000)
and gretl.lang is in:
/usr/share/gtksourceview-2.0/language-specs/gretl.lang
/usr/share/gtksourceview-3.0/language-specs/gretl.lang
--
Firma Arista
*Ignacio Díaz-Emparanza*
Zuzendaria/Director
ignacio.diaz-emparanza(a)ehu.es <mailto:ignacio.diaz.emparanza@ehu.es>
94 6013732
*EKONOMIA APLIKATUA III SAILA (EKONOMETRIA ETA ESTATISTIKA)/
DEPARTAMENTO DE ECONOMÍA APLICADA III (ECONOMETRÍA Y ESTADÍSTICA)
UPV/EHU*
Avda. Lehendakari Aguirre, 83 | 48015 BILBAO
*T.: +34 946013740* | *F.: +34 946013754*
*www.ea3.ehu.es* <
http://www.ea3.ehu.es>
ERNE! Baliteke mezu honen zatiren bat edo mezu osoa legez babestuta
egotea. Mezuak badu bere hartzailea. Okerreko helbidera heldu bada
(helbidea gaizki idatzi, transmisioak huts egin) eman abisu igorleari,
korreo honi erantzunda. Kontuz! Mezua ez bada zuretzat, ez erabili, ez
zabaldu beste inori, ez kopiatu eta ez baliatu.
¡ATENCIÓN! Este mensaje contiene información privilegiada o confidencial
a la que sólo tiene derecho a acceder el destinatario. Si usted lo
recibe por error le agradeceríamos que no hiciera uso de la información
y que se pusiese en contacto con el remitente.
E-mail hau inprimatu baino lehen egiaztatu inprimatzeko beharra.
Antes de imprimir este e-mail piense bien si es necesario hacerlo.