diff options
author | Luca Bruno <lethalman88@gmail.com> | 2016-06-11 16:45:27 +0200 |
---|---|---|
committer | Luca Bruno <lethalman88@gmail.com> | 2016-06-11 16:47:14 +0200 |
commit | beb4182cc8a7072d9c331643c7e2a6d81767b654 (patch) | |
tree | 2b75e80d14eec8ab59177bd5bb326a64cdb1371f | |
parent | dbed53a79f335535e3ca2610d0e3d154a2243151 (diff) |
gnome3.gdm: fix version 3.14 for being used with gnome-shell 3.20. Closes #16063
-rw-r--r-- | pkgs/desktops/gnome-3/3.20/core/gdm/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/3.20/core/gdm/default.nix b/pkgs/desktops/gnome-3/3.20/core/gdm/default.nix index 0d21bf546665f..4b951ce5adeab 100644 --- a/pkgs/desktops/gnome-3/3.20/core/gdm/default.nix +++ b/pkgs/desktops/gnome-3/3.20/core/gdm/default.nix @@ -33,6 +33,10 @@ stdenv.mkDerivation rec { installFlags = [ "sysconfdir=$(out)/etc" "dbusconfdir=$(out)/etc/dbus-1/system.d" ]; + postInstall = '' + mv $out/share/gdm/greeter/applications/gnome-shell.desktop $out/share/gdm/greeter/applications/org.gnome.Shell.desktop + ''; + meta = with stdenv.lib; { homepage = https://wiki.gnome.org/Projects/GDM; description = "A program that manages graphical display servers and handles graphical user logins"; |