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 /po | |
| parent | 557e6820a77b24f8f3f03f28ee473137b1caeb64 (diff) | |
| download | patches-f4ec5e1a9823a66c27fe2bc033db7b58b29edfef.tar 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 'po')
0 files changed, 0 insertions, 0 deletions