On Fri, 4 Dec 2020, Sven Schreiber wrote:

Am 04.12.2020 um 16:22 schrieb Allin Cottr

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.

To be precise the answer involved $datadir/gtksourceview-(3.0|4). In practice that seemed to expand to /usr/share...etc. as above, but I don't know the exact or general rule. I guess this comes from GTK?

cheers

sven