diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-04-11 23:58:49 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-11 23:58:49 +0200 |
commit | f4ec5e1a9823a66c27fe2bc033db7b58b29edfef (patch) | |
tree | 16a18dd30b5cbdbdfb1ad8ffc0b67e3ef033bf5c /ROADMAP | |
parent | 557e6820a77b24f8f3f03f28ee473137b1caeb64 (diff) | |
download | guix-patches-f4ec5e1a9823a66c27fe2bc033db7b58b29edfef.tar guix-patches-f4ec5e1a9823a66c27fe2bc033db7b58b29edfef.tar.gz |
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.
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions