[Gretl-devel] Re: external editors (gtksourceview)
Am 20.01.2020 um 17:01 schrieb Sven Schreiber:
Am 20.01.2020 um 14:19 schrieb Allin Cottrell:
> On Sun, 19 Jan 2020, Sven Schreiber wrote:
>> Am 19.01.2020 um 20:53 schrieb Allin Cottrell:
>>>
>>> * While the gretl file is still called gretl.lang and its "id" is
>>> still
>>> "gretl", its "name" (inside the file, which appears in
the gedit
>>> language listing) is now "hansl".
>>>
>>> * There's an option, "--gtksv", which skips the Stata and Ox
foreign
>>> support.
>>
>> Do you want me to get in touch with the people from gtksourceview to
>> get
>> the file "adopted"? (Maybe they could also comment on the naming
>> policy,
>> gretl and/or hansl.)
>
> Yes, thanks, that's a good idea.
OK, two things: First one of them said quite clearly that the file
should be named hansl.lang when the language is called hansl (also
inside the file). Of course I guess one could make the case that the
"foreign" apparatus in gretl.lang makes it a superset of hansl which
might warrant to call it gretl. But in any case it seems it's not a good
idea to use both in connection with one single file. So maybe we just
leave things as they were in that area.
Secondly, they pointed out that a package (on the Gnome desktop, I
presume) can easily install the .lang files automatically in the same
places where we had put them manually. That sounded quite convincing to
me. So why not just modify the gretl installation routine to put
gretl.lang into /usr/share/gtksourceview.../language-specs (where the
... indicate various possible versions, and why not install into all of
them) ? That way they are available to gedit and so on.
Would the second thing involve the Linux distro package maintainers?
> I also found that the full version of gretl.lang works with gedit
if
> one installs gui/stata.lang (from the gretl source tree) into the
> relevant language-specs directory -- though that's probably not
> something we'd want to ask gtksourceview to do.
No, but that could also be done by gretl. Unless we do not want to
provide that public good to Stata ;-)
thanks
sven