From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 14 11:21:31 2019 Received: (at 37868) by debbugs.gnu.org; 14 Nov 2019 16:21:31 +0000 Received: from localhost ([127.0.0.1]:35069 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iVHsB-0004Mg-46 for submit@debbugs.gnu.org; Thu, 14 Nov 2019 11:21:31 -0500 Received: from dd26836.kasserver.com ([85.13.145.193]:53928) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iVHs8-0004MU-Jr for 37868@debbugs.gnu.org; Thu, 14 Nov 2019 11:21:29 -0500 Received: from localhost (77.117.161.1.wireless.dyn.drei.com [77.117.161.1]) by dd26836.kasserver.com (Postfix) with ESMTPSA id 717083362A7B; Thu, 14 Nov 2019 17:21:26 +0100 (CET) Date: Thu, 14 Nov 2019 17:21:16 +0100 From: Danny Milosavljevic To: Ludovic =?ISO-8859-1?Q?Court=E8s?= Subject: Re: [bug#37868] [PATCH] guix: Allow multiple packages to provide Linux modules in the system profile. Message-ID: <20191114172116.7f565f7d@scratchpost.org> In-Reply-To: <87a78zq4xb.fsf@gnu.org> References: <20191022152238.12856-1-dannym@scratchpost.org> <20191112172048.61ba69eb@scratchpost.org> <87a78zq4xb.fsf@gnu.org> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/lqQ7HZFFXTA0sK97fl6E/+Y"; protocol="application/pgp-signature"; micalg=pgp-sha256 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 37868 Cc: Mark H Weaver , 37868@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --Sig_/lqQ7HZFFXTA0sK97fl6E/+Y Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Ludo, On Wed, 13 Nov 2019 14:30:56 +0100 Ludovic Court=C3=A8s wrote: > > * Why doesn't operating-system-profile successfully add linux-libre ? = =20 >=20 > What do you mean? Currently =E2=80=98linux-libre=E2=80=99 is not added t= o the global > profile, and I think it=E2=80=99s nicer this way (we=E2=80=99re not clobb= ering the > profile). I've modified it to automatically add linux-libre to the system profile but= it doesn't work for some reason. > > * Do we want to be able to add kernel modules in this fashion without r= equiring > > a reboot? If so, that would make the situation a lot more complicated = and I > > don't see a safe way to do that. =20 >=20 > If we arrange for those kernel modules to show up in > /run/current-system/kernel as I suggested in the message linked above, > it should work (assuming the running kernel and the target kernel are > the same, of course). Hmm... I'll read it now :) --Sig_/lqQ7HZFFXTA0sK97fl6E/+Y Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAl3NfvwACgkQ5xo1VCww uqU44Af9HixiuyU21XSnM38yd8Vm4aGTOjPuqpEAuVZLI0MelZ3mN4IBrW3xKmlT iXhiOXxEanWf3LSQHwYp1CXazy83nqBkAFYL1CivxNHDZQpaZd2c3jzI2+Kk4VlJ mn4DZH4T8FweGsOMOvQ6MzZze8eOdhpRSjAMUzgvQKSFLNzUE+CtRFOuMh9evIQS lpKq3trSCKhQoZdv/5hpHVFc0ZCUfaXVpl8d5d4ko1VI7irfbQxbFqtU7ms5aQJf wq7OIXJxcL3XRWE2a/+VU3LqdXP9CJ7QewBMM87QAQT/1wA0aJBjGBabXFM4A0Q9 hAganoZJLz4dOSu5m/KMUqMKmmRYdA== =iQlv -----END PGP SIGNATURE----- --Sig_/lqQ7HZFFXTA0sK97fl6E/+Y--