gnu: gdm: Don't offer GNOME when it's not in the system profile.
authorLudovic Courtès <ludo@gnu.org>
Sat, 11 Apr 2020 21:58:49 +0000 (23:58 +0200)
committerLudovic Courtès <ludo@gnu.org>
Sat, 11 Apr 2020 21:58:49 +0000 (23:58 +0200)
commitf4ec5e1a9823a66c27fe2bc033db7b58b29edfef
tree16a18dd30b5cbdbdfb1ad8ffc0b67e3ef033bf5c
parent557e6820a77b24f8f3f03f28ee473137b1caeb64
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.
gnu/local.mk
gnu/packages/gnome.scm
gnu/packages/patches/gdm-default-session.patch [new file with mode: 0644]