[bug#35545] [PATCH] Add josm.

["Ludovic Courtès" <ludo@gnu.org>]

Hello!

Björn Höfling <bjoern.hoefling@bjoernhoefling.de> skribis:

> On Tue, 18 Jun 2019 14:29:36 +0200

[...]

>> So I've looked into that, but I haven't seen how to disable the plugin
>> manager. I've talked to a JOSM developper during State of the Map
>> France, and he told me every plugin was free software, and if not, it
>> should be considered a bug, and the plugin will be removed. I think
>> this is close to the spirit of the FSDG, so we might not have to
>> disable the manager. WDYT?

That sounds reasonable to me: if upstream has a clear commitment to
publish only free software plugin, then we can take their word for it;
if later that proved to be misguided, we can revisit this issue and
disable the installation of plugins coming from their site.

>> I agree it would be nicer to bootstrap plugins properly ourselves, but
>> at least we won't advertise for non free plugins. I'll try to update
>> to a newer version before pushing, unless you have more objections.

Indeed, it’d be much nicer if users of JOSM on Guix could install
plugins via Guix, both because it’s more convenient and because it’s
provides much stronger guarantees (reproducibly built from source!).

My 2¢,
Ludo’.