Am 04.12.2020 um 17:05 schrieb Allin Cottrell:
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
||
|
|