add pop-shell gnome extension

This commit is contained in:
Sean Buckley 2020-11-12 15:05:05 -05:00
parent 72fea7bb9f
commit de49dbffbe
2 changed files with 22 additions and 0 deletions

View file

@ -18,6 +18,7 @@
dash-to-panel
drop-down-terminal
sound-output-device-chooser
(callPackage extensions/pop-shell.nix { })
]);
};

View file

@ -0,0 +1,21 @@
{ stdenv, fetchFromGitHub, glib, nodePackages }:
stdenv.mkDerivation rec {
pname = "pop-shell";
version = "1.0.0";
src = fetchFromGitHub {
owner = "pop-os";
repo = "shell";
rev = version;
sha256 = "0nws28w40xpwhgdpcifzys1md4h6a7q5k3wcn2a77z5m26g69zw2";
};
preInstall = ''
mkdir $out
ln -s $out ./usr
export DESTDIR="$(pwd)"
'';
buildInputs = [ glib nodePackages.typescript ];
}