From f56d52f32434904e3a95e29a761714e4ffd35e05 Mon Sep 17 00:00:00 2001 From: Felix Tenley Date: Sat, 21 Mar 2020 17:23:56 +0100 Subject: [PATCH] feat(pop-shell): update to latest version --- desktop/gnome.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/desktop/gnome.nix b/desktop/gnome.nix index 8e0b20d..be4d040 100644 --- a/desktop/gnome.nix +++ b/desktop/gnome.nix @@ -4,13 +4,13 @@ with pkgs; let gnome-shell-extension-pop-shell = stdenv.mkDerivation rec { pname = "gnome-shell-extension-pop-shell"; - version = "2020-03-13"; + version = "2020-03-18"; src = fetchFromGitHub { owner = "pop-os"; repo = "shell"; - rev = "c7bd5fc69adb842cc7e2503bca69b75963d01083"; - sha256 = "0xdxdhhf3g3vxs97p4iik7swzgqbi2n7y71214mah5nbhwx15mxn"; + rev = "0c480fb8c0f0c39a5842cff89f38d807600c2a14"; + sha256 = "053csqmbj37f7kilsav9z1q7b0v0rrqvbqzk28qkpddkpvysvh7m"; }; nativeBuildInputs = [ glib ];