remove pop-shell, upstream PR exists

This commit is contained in:
Sean Buckley 2020-11-21 00:10:11 -05:00
parent 709f66c0f1
commit 7b6ffeb12a
2 changed files with 0 additions and 22 deletions

View file

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

View file

@ -1,21 +0,0 @@
{ 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 ];
}