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-08-14 22:36:21 +02:00
parent 5422f74678
commit d4037ce717
No known key found for this signature in database
GPG key ID: 910ACB9F6BD26F58
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-05-19"; version = "2020-08-14";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "pop-os"; owner = "pop-os";
repo = "shell"; repo = "shell";
rev = "830dd7a9177d9ebebb0024d2fc5312caa485c099"; rev = "69415ea1fa221a15e8b1c1f9f9ab0b4ba302ee9c";
sha256 = "1ygqzmvh6fjl1yc9rxb9mmis7ywaxqfnx6hn3clhl4y3vv5f19gn"; sha256 = "0p0kh1f7achrr51mwmxnnliz82qmfdi37wvc9xhf02w0cx28hlml";
}; };
nativeBuildInputs = [ glib ]; nativeBuildInputs = [ glib ];