On Sun, Apr 19, 2020 at 01:33:07AM +0200, Ludovic Courtès wrote: > Hi, > > Efraim Flashner skribis: > > > On Fri, Apr 17, 2020 at 11:00:49PM +0200, Ludovic Courtès wrote: > > [...] > > >> > --- a/gnu/services/sddm.scm > >> > +++ b/gnu/services/sddm.scm > >> > @@ -171,6 +171,7 @@ Relogin=" (if (sddm-configuration-relogin? config) > >> > (documentation "SDDM display manager.") > >> > (requirement '(user-processes)) > >> > (provision '(display-manager)) > >> > + (conflicts-with '(xorg-server)) > >> > >> ‘conflicts-with’ doesn’t exist, right? :-) > >> > > > > I haven't tried it out for Guix services, but it exists for shepherd > > services, according to the manual¹ > > Right, it’s not available in Guix . > > However, simplify adding ‘xorg-server’ to ‘provision’ should have the > desired effect: ‘guix system’ errors out if more than one service > provides the same symbol. > > >> But yes, I think (provision '(xorg-server display-manager)) would be > >> fine. > >> > >> Or we can even drop ‘display-manager’ since it’s 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’s safer to keep it. > > Thanks, > Ludo’. Sounds good. I put xorg-server first so it more closely matches with the other ones. -- Efraim Flashner אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted