chore: update pop-shell

This commit is contained in:
Felix Schröter 2021-01-19 18:14:19 +01:00
parent ebc2df305d
commit b82d5bc256
No known key found for this signature in database
GPG key ID: 910ACB9F6BD26F58

View file

@ -4,20 +4,23 @@ with pkgs;
let let
pop-shell = stdenv.mkDerivation rec { pop-shell = stdenv.mkDerivation rec {
pname = "pop-shell"; pname = "pop-shell";
version = "2020-09-08"; version = "1.2.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "pop-os"; owner = "pop-os";
repo = "shell"; repo = "shell";
rev = "017c92e04f4eefead2561fa35559891eb83388c9"; rev = version;
sha256 = "12ch08ny3m2hf6ii2niw0x07pfcknl3r8rixvijaj36wvbgviaxa"; sha256 = "0yv8gjimiix9bzk7k1plbwfvn5kxc3z5ndqv9j5y42d4g7yk498y";
}; };
nativeBuildInputs = [ glib ]; nativeBuildInputs = [ glib nodePackages.typescript ];
buildInputs = [ nodePackages.typescript ];
# the gschema doesn't seem to be installed properly (see dconf) # the gschema doesn't seem to be installed properly (see dconf)
makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ]; makeFlags = [
"INSTALLBASE=$(out)/share/gnome-shell/extensions"
"PLUGIN_BASE=$(out)/share/pop-shell/launcher"
"SCRIPTS_BASE=$(out)/share/pop-shell/scripts"
];
}; };
in { in {
environment.systemPackages = with pkgs; environment.systemPackages = with pkgs;