From unknown Sun Jun 15 01:10:14 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#40680] [PATCH] service: sddm: Have sddm-service-type conflict with other display managers. Resent-From: Efraim Flashner Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 17 Apr 2020 14:43:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 40680 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 40680@debbugs.gnu.org Cc: Efraim Flashner X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.158713454431541 (code B ref -1); Fri, 17 Apr 2020 14:43:02 +0000 Received: (at submit) by debbugs.gnu.org; 17 Apr 2020 14:42:24 +0000 Received: from localhost ([127.0.0.1]:41424 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPSCG-0008Ce-Ga for submit@debbugs.gnu.org; Fri, 17 Apr 2020 10:42:24 -0400 Received: from lists.gnu.org ([209.51.188.17]:51248) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPSCE-0008CU-Sl for submit@debbugs.gnu.org; Fri, 17 Apr 2020 10:42:23 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45709) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jPSCD-0003Uk-NQ for guix-patches@gnu.org; Fri, 17 Apr 2020 10:42:22 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jPSCC-0007b5-Ee for guix-patches@gnu.org; Fri, 17 Apr 2020 10:42:21 -0400 Received: from flashner.co.il ([178.62.234.194]:33932) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1jPSCC-0007Fc-8f for guix-patches@gnu.org; Fri, 17 Apr 2020 10:42:20 -0400 Received: from localhost (unknown [141.226.9.17]) by flashner.co.il (Postfix) with ESMTPSA id 352EF401AA; Fri, 17 Apr 2020 14:41:48 +0000 (UTC) From: Efraim Flashner Date: Fri, 17 Apr 2020 17:41:15 +0300 Message-Id: <20200417144115.2475-1-efraim@flashner.co.il> X-Mailer: git-send-email 2.26.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 178.62.234.194 X-Spam-Score: 0.3 (/) 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: -0.7 (/) * gnu/services/sddm.scm (sddm-shepherd-service)[shepherd-service]: Conflict with 'xorg-server. --- I was looking over the services list with raingloom on IRC and I noticed that GDM and Slim both provision xorg-server, while SDDM provisions display-manager. To ensure that they conflict with each other we can either: A: Have SDDM conflict with 'xorg-server B: Have SDDM also provision 'xorg-server I'm currently using SDDM (in Wayland mode) to launch an X session of Enlightenment, so I think it's safe enough to say that SDDM can provision 'xorg-server. --- gnu/services/sddm.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/services/sddm.scm b/gnu/services/sddm.scm index 1921afce95..aa08859513 100644 --- a/gnu/services/sddm.scm +++ b/gnu/services/sddm.scm @@ -171,6 +171,7 @@ Relogin=3D" (if (sddm-configuration-relo= gin? config) (documentation "SDDM display manager.") (requirement '(user-processes)) (provision '(display-manager)) + (conflicts-with '(xorg-server)) (start #~(make-forkexec-constructor #$sddm-command)) (stop #~(make-kill-destructor))))) =20 --=20 2.26.1 From unknown Sun Jun 15 01:10:14 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#40680] [PATCH] service: sddm: Have sddm-service-type conflict with other display managers. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 17 Apr 2020 21:02:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 40680 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Efraim Flashner Cc: 40680@debbugs.gnu.org Received: via spool by 40680-submit@debbugs.gnu.org id=B40680.1587157266887 (code B ref 40680); Fri, 17 Apr 2020 21:02:01 +0000 Received: (at 40680) by debbugs.gnu.org; 17 Apr 2020 21:01:06 +0000 Received: from localhost ([127.0.0.1]:41775 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPY6k-0000EF-Iu for submit@debbugs.gnu.org; Fri, 17 Apr 2020 17:01:06 -0400 Received: from eggs.gnu.org ([209.51.188.92]:35198) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPY6j-0000Dd-Kt for 40680@debbugs.gnu.org; Fri, 17 Apr 2020 17:01:06 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:45517) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1jPY6d-0006xM-Pz; Fri, 17 Apr 2020 17:00:59 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=53502 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jPY6Y-0002Ni-CW; Fri, 17 Apr 2020 17:00:59 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20200417144115.2475-1-efraim@flashner.co.il> Date: Fri, 17 Apr 2020 23:00:49 +0200 In-Reply-To: <20200417144115.2475-1-efraim@flashner.co.il> (Efraim Flashner's message of "Fri, 17 Apr 2020 17:41:15 +0300") Message-ID: <87r1wlaku6.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -1.5 (-) 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: -2.5 (--) Hi Efraim, Efraim Flashner skribis: > * gnu/services/sddm.scm (sddm-shepherd-service)[shepherd-service]: > Conflict with 'xorg-server. > --- > > I was looking over the services list with raingloom on IRC and I noticed > that GDM and Slim both provision xorg-server, while SDDM provisions > display-manager. To ensure that they conflict with each other we can > either: > > A: Have SDDM conflict with 'xorg-server > > B: Have SDDM also provision 'xorg-server > > I'm currently using SDDM (in Wayland mode) to launch an X session of > Enlightenment, so I think it's safe enough to say that SDDM can > provision 'xorg-server. > > --- > > gnu/services/sddm.scm | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/gnu/services/sddm.scm b/gnu/services/sddm.scm > index 1921afce95..aa08859513 100644 > --- a/gnu/services/sddm.scm > +++ b/gnu/services/sddm.scm > @@ -171,6 +171,7 @@ Relogin=3D" (if (sddm-configuration-relo= gin? config) > (documentation "SDDM display manager.") > (requirement '(user-processes)) > (provision '(display-manager)) > + (conflicts-with '(xorg-server)) =E2=80=98conflicts-with=E2=80=99 doesn=E2=80=99t exist, right? :-) But yes, I think (provision '(xorg-server display-manager)) would be fine. Or we can even drop =E2=80=98display-manager=E2=80=99 since it=E2=80=99s no= t used anywhere else. Thanks, Ludo=E2=80=99. From unknown Sun Jun 15 01:10:14 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#40680] [PATCH] service: sddm: Have sddm-service-type conflict with other display managers. Resent-From: Efraim Flashner Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 18 Apr 2020 18:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 40680 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 40680@debbugs.gnu.org Received: via spool by 40680-submit@debbugs.gnu.org id=B40680.158723292731110 (code B ref 40680); Sat, 18 Apr 2020 18:03:02 +0000 Received: (at 40680) by debbugs.gnu.org; 18 Apr 2020 18:02:07 +0000 Received: from localhost ([127.0.0.1]:43542 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPrn4-00085h-Uq for submit@debbugs.gnu.org; Sat, 18 Apr 2020 14:02:07 -0400 Received: from flashner.co.il ([178.62.234.194]:39738) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPrn2-00085B-Ib for 40680@debbugs.gnu.org; Sat, 18 Apr 2020 14:02:05 -0400 Received: from localhost (unknown [141.226.9.17]) by flashner.co.il (Postfix) with ESMTPSA id ABCC4402BE; Sat, 18 Apr 2020 18:01:58 +0000 (UTC) Date: Sat, 18 Apr 2020 21:01:21 +0300 From: Efraim Flashner Message-ID: <20200418180121.GA4725@E5400> References: <20200417144115.2475-1-efraim@flashner.co.il> <87r1wlaku6.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="x+6KMIRAuhnl3hBn" Content-Disposition: inline In-Reply-To: <87r1wlaku6.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-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 (-) --x+6KMIRAuhnl3hBn Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, Apr 17, 2020 at 11:00:49PM +0200, Ludovic Court=C3=A8s wrote: > Hi Efraim, >=20 > Efraim Flashner skribis: >=20 > > * gnu/services/sddm.scm (sddm-shepherd-service)[shepherd-service]: > > Conflict with 'xorg-server. > > --- > > > > I was looking over the services list with raingloom on IRC and I noticed > > that GDM and Slim both provision xorg-server, while SDDM provisions > > display-manager. To ensure that they conflict with each other we can > > either: > > > > A: Have SDDM conflict with 'xorg-server > > > > B: Have SDDM also provision 'xorg-server > > > > I'm currently using SDDM (in Wayland mode) to launch an X session of > > Enlightenment, so I think it's safe enough to say that SDDM can > > provision 'xorg-server. > > > > --- > > > > gnu/services/sddm.scm | 1 + > > 1 file changed, 1 insertion(+) > > > > diff --git a/gnu/services/sddm.scm b/gnu/services/sddm.scm > > index 1921afce95..aa08859513 100644 > > --- a/gnu/services/sddm.scm > > +++ b/gnu/services/sddm.scm > > @@ -171,6 +171,7 @@ Relogin=3D" (if (sddm-configuration-re= login? 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 > 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. =C2=B9 https://www.gnu.org/software/shepherd/manual/html_node/Methods-of-se= rvices.html#Methods-of-services --=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 --x+6KMIRAuhnl3hBn Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAl6bQHEACgkQQarn3Mo9 g1HWJA/+OO2FO1VUOW9iMPLE5QKlNvLH8+vI4jiO84ykAbf84syra1Vc50spT0Lp RQW7wYcQ3JtbPDrY/Ua2sKBuuc5ltr6w7+mK5CYksRAHi0PnhrFotM8gPXAiYEGR HN5B1GsHw33Chy34Yg1E/aB3x1KdxnE4f/rlcxdHdF8xSFMwmedA5cjSLCkMUrUx Ei1E7R5j71wqLno2xH7x9VzO3J+sKbFrIyCBPpE1Hk7r2xx+juc04tlCIBEFb/5a rN41ZYW4TaJ0tN5T6C/w81kQFR0F7+OodQPhCcP6BVIFSJMk6mzVLv0dLLnbWtHk 37B5cuWqeDRhDs1KBQ2zfQJPBAIpMBJ3aijTsSEbu5B3FUfRQ5Id/1au0zZeCebk ZUFkqDVTAUOVcZRhp+GTajsITCsl14YOLgJmYIvtLvIYhrDKIWIGHqvzOh4NQpI6 1uDaOwm/kwoEE+EMc9oMUJNowQ0jMVGDaPB/xuxditMjoMFNITV3e+gWMQYmM8g6 WVbQ9gzCzqTQbL03vN6QZ663dz6N0s+wrHEQgFvWyDL4mxpWK98CfTBoULFaywd3 ajS/2ZFAFuheLA2mX1lhqfnbzaZF4UKVNzSMcfc8lwtKq43R5mCWShJ70qe8zo1V /Ry26yPqQ4xxTmIcyvLCjHwmR/qbVPmcSgI+zGz/uMt4i6ZBUa8= =QFOo -----END PGP SIGNATURE----- --x+6KMIRAuhnl3hBn-- From unknown Sun Jun 15 01:10:14 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#40680] [PATCH] service: sddm: Have sddm-service-type conflict with other display managers. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 18 Apr 2020 23:34:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 40680 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Efraim Flashner Cc: 40680@debbugs.gnu.org Received: via spool by 40680-submit@debbugs.gnu.org id=B40680.158725279731937 (code B ref 40680); Sat, 18 Apr 2020 23:34:02 +0000 Received: (at 40680) by debbugs.gnu.org; 18 Apr 2020 23:33:17 +0000 Received: from localhost ([127.0.0.1]:43778 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPwxY-0008J3-O5 for submit@debbugs.gnu.org; Sat, 18 Apr 2020 19:33:16 -0400 Received: from eggs.gnu.org ([209.51.188.92]:60188) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPwxW-0008Im-RM for 40680@debbugs.gnu.org; Sat, 18 Apr 2020 19:33:15 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:41282) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jPwxR-0000Ko-Hn; Sat, 18 Apr 2020 19:33:09 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=56530 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jPwxR-0008Rh-2p; Sat, 18 Apr 2020 19:33:09 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20200417144115.2475-1-efraim@flashner.co.il> <87r1wlaku6.fsf@gnu.org> <20200418180121.GA4725@E5400> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 1 =?UTF-8?Q?Flor=C3=A9al?= an 228 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sun, 19 Apr 2020 01:33:07 +0200 In-Reply-To: <20200418180121.GA4725@E5400> (Efraim Flashner's message of "Sat, 18 Apr 2020 21:01:21 +0300") Message-ID: <87h7xg4bf0.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) 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 (-) Hi, Efraim Flashner skribis: > On Fri, Apr 17, 2020 at 11:00:49PM +0200, Ludovic Court=C3=A8s wrote: [...] >> > --- a/gnu/services/sddm.scm >> > +++ b/gnu/services/sddm.scm >> > @@ -171,6 +171,7 @@ Relogin=3D" (if (sddm-configuration-r= elogin? 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 Right, it=E2=80=99s not available in Guix . However, simplify adding =E2=80=98xorg-server=E2=80=99 to =E2=80=98provisio= n=E2=80=99 should have the desired effect: =E2=80=98guix system=E2=80=99 errors out if more than one s= ervice provides the same symbol. >> 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. Yeah, maybe it=E2=80=99s safer to keep it. Thanks, Ludo=E2=80=99. From unknown Sun Jun 15 01:10:14 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Efraim Flashner Subject: bug#40680: closed (Re: [bug#40680] [PATCH] service: sddm: Have sddm-service-type conflict with other display managers.) Message-ID: References: <20200419060729.GB939@E5400> <20200417144115.2475-1-efraim@flashner.co.il> X-Gnu-PR-Message: they-closed 40680 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 40680@debbugs.gnu.org Date: Sun, 19 Apr 2020 06:09:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1587276542-5564-1" This is a multi-part message in MIME format... ------------=_1587276542-5564-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #40680: [PATCH] service: sddm: Have sddm-service-type conflict with other d= isplay managers. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 40680@debbugs.gnu.org. --=20 40680: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D40680 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1587276542-5564-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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-- ------------=_1587276542-5564-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 17 Apr 2020 14:42:24 +0000 Received: from localhost ([127.0.0.1]:41424 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPSCG-0008Ce-Ga for submit@debbugs.gnu.org; Fri, 17 Apr 2020 10:42:24 -0400 Received: from lists.gnu.org ([209.51.188.17]:51248) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jPSCE-0008CU-Sl for submit@debbugs.gnu.org; Fri, 17 Apr 2020 10:42:23 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45709) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jPSCD-0003Uk-NQ for guix-patches@gnu.org; Fri, 17 Apr 2020 10:42:22 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jPSCC-0007b5-Ee for guix-patches@gnu.org; Fri, 17 Apr 2020 10:42:21 -0400 Received: from flashner.co.il ([178.62.234.194]:33932) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1jPSCC-0007Fc-8f for guix-patches@gnu.org; Fri, 17 Apr 2020 10:42:20 -0400 Received: from localhost (unknown [141.226.9.17]) by flashner.co.il (Postfix) with ESMTPSA id 352EF401AA; Fri, 17 Apr 2020 14:41:48 +0000 (UTC) From: Efraim Flashner To: guix-patches@gnu.org Subject: [PATCH] service: sddm: Have sddm-service-type conflict with other display managers. Date: Fri, 17 Apr 2020 17:41:15 +0300 Message-Id: <20200417144115.2475-1-efraim@flashner.co.il> X-Mailer: git-send-email 2.26.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 178.62.234.194 X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: submit Cc: Efraim Flashner 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: -0.7 (/) * gnu/services/sddm.scm (sddm-shepherd-service)[shepherd-service]: Conflict with 'xorg-server. --- I was looking over the services list with raingloom on IRC and I noticed that GDM and Slim both provision xorg-server, while SDDM provisions display-manager. To ensure that they conflict with each other we can either: A: Have SDDM conflict with 'xorg-server B: Have SDDM also provision 'xorg-server I'm currently using SDDM (in Wayland mode) to launch an X session of Enlightenment, so I think it's safe enough to say that SDDM can provision 'xorg-server. --- gnu/services/sddm.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/services/sddm.scm b/gnu/services/sddm.scm index 1921afce95..aa08859513 100644 --- a/gnu/services/sddm.scm +++ b/gnu/services/sddm.scm @@ -171,6 +171,7 @@ Relogin=3D" (if (sddm-configuration-relo= gin? config) (documentation "SDDM display manager.") (requirement '(user-processes)) (provision '(display-manager)) + (conflicts-with '(xorg-server)) (start #~(make-forkexec-constructor #$sddm-command)) (stop #~(make-kill-destructor))))) =20 --=20 2.26.1 ------------=_1587276542-5564-1--