felschr/nixos-config
1
1
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

feat: update pop-shell

Browse source
This commit is contained in:
Felix Schröter 2020-05-22 17:53:59 +02:00
parent 416285380d
commit b67053331a
No known key found for this signature in database
GPG key ID: A12D7C9D2FD34458
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
desktop/gnome.nix
View file

@ -4,13 +4,13 @@ with pkgs;
let let
gnome-shell-extension-pop-shell = stdenv.mkDerivation rec { gnome-shell-extension-pop-shell = stdenv.mkDerivation rec {
pname = "gnome-shell-extension-pop-shell"; pname = "gnome-shell-extension-pop-shell";
version = "2020-03-18"; version = "2020-05-19";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "pop-os"; owner = "pop-os";
repo = "shell"; repo = "shell";
rev = "0c480fb8c0f0c39a5842cff89f38d807600c2a14"; rev = "ff5f37434f078fa120537d9e154a538b523f1cea";
sha256 = "053csqmbj37f7kilsav9z1q7b0v0rrqvbqzk28qkpddkpvysvh7m"; sha256 = "0f1svpd8k8b7ggvgfsfwvsix9y9jjcfxw4plk9m781r9zp9q8ds5";
}; };
nativeBuildInputs = [ glib ]; nativeBuildInputs = [ glib ];