From debbugs-submit-bounces@debbugs.gnu.org Sun Apr 19 02:08:09 2020 Received: (at 40680-done) by debbugs.gnu.org; 19 Apr 2020 06:08:09 +0000 Received: from localhost ([127.0.0.1]:43961 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jQ37h-0001Qb-I4 for submit@debbugs.gnu.org; Sun, 19 Apr 2020 02:08:09 -0400 Received: from flashner.co.il ([178.62.234.194]:41476) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jQ37f-0001QM-PQ for 40680-done@debbugs.gnu.org; Sun, 19 Apr 2020 02:08:08 -0400 Received: from localhost (unknown [141.226.9.17]) by flashner.co.il (Postfix) with ESMTPSA id AAD6A4005F; Sun, 19 Apr 2020 06:08:01 +0000 (UTC) Date: Sun, 19 Apr 2020 09:07:29 +0300 From: Efraim Flashner To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#40680] [PATCH] service: sddm: Have sddm-service-type conflict with other display managers. Message-ID: <20200419060729.GB939@E5400> References: <20200417144115.2475-1-efraim@flashner.co.il> <87r1wlaku6.fsf@gnu.org> <20200418180121.GA4725@E5400> <87h7xg4bf0.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="uZ3hkaAS1mZxFaxD" Content-Disposition: inline In-Reply-To: <87h7xg4bf0.fsf@gnu.org> X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 40680-done Cc: 40680-done@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.0 (-) --uZ3hkaAS1mZxFaxD Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sun, Apr 19, 2020 at 01:33:07AM +0200, Ludovic Court=C3=A8s wrote: > Hi, >=20 > Efraim Flashner skribis: >=20 > > On Fri, Apr 17, 2020 at 11:00:49PM +0200, Ludovic Court=C3=A8s wrote: >=20 > [...] >=20 > >> > --- a/gnu/services/sddm.scm > >> > +++ b/gnu/services/sddm.scm > >> > @@ -171,6 +171,7 @@ Relogin=3D" (if (sddm-configuration= -relogin? config) > >> > (documentation "SDDM display manager.") > >> > (requirement '(user-processes)) > >> > (provision '(display-manager)) > >> > + (conflicts-with '(xorg-server)) > >>=20 > >> =E2=80=98conflicts-with=E2=80=99 doesn=E2=80=99t exist, right? :-) > >>=20 > > > > I haven't tried it out for Guix services, but it exists for shepherd > > services, according to the manual=C2=B9 >=20 > Right, it=E2=80=99s not available in Guix . >=20 > However, simplify adding =E2=80=98xorg-server=E2=80=99 to =E2=80=98provis= ion=E2=80=99 should have the > desired effect: =E2=80=98guix system=E2=80=99 errors out if more than one= service > provides the same symbol. >=20 > >> But yes, I think (provision '(xorg-server display-manager)) would be > >> fine. > >>=20 > >> Or we can even drop =E2=80=98display-manager=E2=80=99 since it=E2=80= =99s not used anywhere else. > > > > Normally I'd be skeptical about dropping it since people might expect it > > if they're using sddm, but it'd probably be fine. >=20 > Yeah, maybe it=E2=80=99s safer to keep it. >=20 > Thanks, > Ludo=E2=80=99. Sounds good. I put xorg-server first so it more closely matches with the other ones. --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --uZ3hkaAS1mZxFaxD Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAl6b6qEACgkQQarn3Mo9 g1GH+RAAp9daygR/aBBMgbE+z/aAFdEp2DAeyP8cwjghNUphjp5KJLuefEuVRt5t MIaL8tV6BT/2jpXQOg/quXflNQIn1xEuGre9gIq7neAotHMS+187XANRpZgAeoYZ T51KZ3t6Ro8LVYsnafkrw1uh28m2Jp6W1cKReCMcEzVuxO+KqF/3XSm6DsB3XOSQ rV51JDru2wQEBhicXTW/F0ufaTop4vqlbDYKZ7smU6Jqbs0LKtVqSXIQlZANJOPf AYyUFcOtqBANzJiYvjibqqzO3mlbKAmYeyLkPwu1FoCSINL35Z2T219OXNNrgqXN w/odwy3g7Ex7Y6zODtZn9mzj1Lh97ZaLe6sAdKRJoBn8Y9g6yJ8FBb6Vi9nd7ekm C1kGevmG535yqT3e+mXiO/RQCOmLNQ/7yDYXtBv84idoBA1L8veZ2hxGPwwKitBq MpPEcHlOJoq5bNwga/cLLN86Y7E/eaNnoCY3trMK1j1p2ClJMw0H6q+9zoxQAy9z XfijTujJWrE2Wpu0N2aDHnnNUGx7pxuO6aMTWrPMcQ5vg9neHz0WJvYAXrdVzcsg QrL+fHIr848B6uEkFFlONTO/c8O5tHuQh4uew8VKGnMBM17qg6Jdd886So+dNLcM Tt7u54LvGblSZHQqBS8e1m14uh0uCW9cQH6WFuUxEbVaTwjG0NQ= =Pyvn -----END PGP SIGNATURE----- --uZ3hkaAS1mZxFaxD--