On Fri, 4 Dec 2020, Sven Schreiber wrote:
Am 04.12.2020 um 16:22 schrieb Allin Cottrell:
> On Fri, 4 Dec 2020, Sven Schreiber wrote:
>
>> A related gtksourceview language spec thing: In a thread called
>> "external editors (gtksourceview)" in January we said it would be good
>> to put gretl.lang into the system-wide shared gtksourceview dir on
>> Linux. (That would be /usr/share/gtksourceview-3.0/language-specs and
>> /usr/share/gtksourceview-4/language-specs from what I'm seeing here on
>> Ubuntu 20.04.) But apparently that never happened, at least I don't see
>> the file there (again, on Ubuntu). Should I open a ticket for that?
>
> Hmm, not sure about that. A standard gretl "make install" probably
> shouldn't be writing files into "someone else's" share directory.
That
> could be a problem for packagers. But maybe there should be some
> option to do so.
>
Well, when I asked the gtksourceview people (back in January) if they
could distribute our .lang file, they said they'd rather not do that,
but that instead that share directory is the official place for
additional contributed language-spec files at installation time. Because
that's where apps like gedit which are using gtksourceview would look
automatically. And indeed we got gretl/hansl syntax highlighting in
gedit like that.
Oh, alright, I'd forgotten about that exchange. Then I guess we can
see about writing our lang files on install.
Allin