Hi Didier,

>> Didier Kryn writes:
>>> But the launchers are to be installed/uninstalled by every user in
>>> their own ~/.local

benny wrote:
>> What happens, if you add another user after installation? AFAIU default
>> launchers should be in a global place.

Didier Kryn writes:
>     We want to install files only under /usr/local, and, for
> Freedesktop.org, there's no other global place than
> /usr/share/applications. Full point (AFAIK). I agree with you it's not
> very clever.

Oh, you mean, the installer would tell the users to install the desktop
files themself, via xdg-install-icon? I don't think that works very
well.

Anyway,
<https://specifications.freedesktop.org/desktop-entry-spec/desktop-entry-spec-latest.html>
says that /usr/local/share/applications should work fine, so there
should be no problem.

> Freedesktop might forbid it as well...

Freedesktop does not forbid anything, they couldn't even if they tried.

so long, benny