Archived
1
0
Fork 0
Commit graph

1 commit

Author SHA1 Message Date
Ludovic Courtès
f4ec5e1a98
gnu: gdm: Don't offer GNOME when it's not in the system profile.
Fixes <https://bugs.gnu.org/37831>.
Reported by Pierre Neidhardt <mail@ambrevar.xyz>.

* gnu/packages/patches/gdm-default-session.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/gnome.scm (gdm)[source]: Use it.
2020-04-11 23:58:49 +02:00