Ok, it worked.
More in details, I checked in
packages.debian.org all the files provided
by the package gretl-common. I've found out that gretl.lang isn't
anymore provided by gretl-common 1.9.14 and gretl-common 1.9.9-1 but
only by gretl-common 1.9.1-2. Also, the file gretl.lang, according to
debian packages, put gretl.lang in /usr/share/gretl/gtksourceview, a
folder that doesn't exist in the latest version of gretl (at least, I
don't have it). Anyway, by creating this folder I didn't have syntax
highlighting yet. I moved the file to
/usr/share/gtksourceview-2.0/language-specs/ and finally it worked.
Anyway, this thing that gretl.lang is not provided by the latest version
of gretl-common for debian is quite strange in my opinion.
Thank you for your help.
--
Alessandro Astuti
Il 03/04/2014 20:48, Riccardo (Jack) Lucchetti ha scritto:
On Thu, 3 Apr 2014, Alessandro Astuti wrote:
> Sorry, so if I took a gretl.lang file somewhere and put it into
> /usr/share/gtksourceview-2.0/language-specs/ I'd solve my problem,
> right?
All you have to do is try. And possibly, let us know.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------
_______________________________________________
Gretl-users mailing list
Gretl-users(a)lists.wfu.edu
http://lists.wfu.edu/mailman/listinfo/gretl-users