From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:55253) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hdvYh-00089o-NT for guix-patches@gnu.org; Thu, 20 Jun 2019 07:48:52 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hdvQA-0006DC-G5 for guix-patches@gnu.org; Thu, 20 Jun 2019 07:40:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:34421) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hdvQA-0006D2-BY for guix-patches@gnu.org; Thu, 20 Jun 2019 07:40:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hdvQA-0002ch-6y for guix-patches@gnu.org; Thu, 20 Jun 2019 07:40:02 -0400 Subject: [bug#35545] [PATCH] Add josm. Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20190503145820.606f37db@sybil.lepiller.eu> <20190505131838.2ea2c6d9@alma-ubu> <20190505133709.049a2925@sybil.lepiller.eu> <20190506005353.3c9b20d7@alma-ubu> <20190618142928.528d0b0b@tachikoma.lepiller.eu> <20190618181447.405200fd@alma-ubu> Date: Thu, 20 Jun 2019 13:39:22 +0200 In-Reply-To: <20190618181447.405200fd@alma-ubu> ("=?UTF-8?Q?Bj=C3=B6rn_?= =?UTF-8?Q?H=C3=B6fling?="'s message of "Tue, 18 Jun 2019 18:14:47 +0200") Message-ID: <87imt0lc45.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: =?UTF-8?Q?Bj=C3=B6rn_?= =?UTF-8?Q?H=C3=B6fling?= Cc: Ricardo Wurmus , 35545@debbugs.gnu.org Hello! Bj=C3=B6rn H=C3=B6fling 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=E2=80=99d be much nicer if users of JOSM on Guix could install plugins via Guix, both because it=E2=80=99s more convenient and because it= =E2=80=99s provides much stronger guarantees (reproducibly built from source!). My 2=C2=A2, Ludo=E2=80=99.