From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:56724) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jQ38b-0003QU-Ln for guix-patches@gnu.org; Sun, 19 Apr 2020 02:09:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1) (envelope-from ) id 1jQ38b-0000ms-BX for guix-patches@gnu.org; Sun, 19 Apr 2020 02:09:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:60650) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jQ38Y-0000kZ-65 for guix-patches@gnu.org; Sun, 19 Apr 2020 02:09:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jQ38Y-0001Rt-1W for guix-patches@gnu.org; Sun, 19 Apr 2020 02:09:02 -0400 Subject: bug#40680: [PATCH] service: sddm: Have sddm-service-type conflict with other display managers. Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Sun, 19 Apr 2020 09:07:29 +0300 From: Efraim Flashner 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> 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: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 40680-done@debbugs.gnu.org --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--