diff --git a/modules/gnome/default.nix b/modules/gnome/default.nix index 2e84117..6954541 100644 --- a/modules/gnome/default.nix +++ b/modules/gnome/default.nix @@ -18,7 +18,6 @@ dash-to-panel drop-down-terminal sound-output-device-chooser - (callPackage extensions/pop-shell.nix { }) ]); }; diff --git a/modules/gnome/extensions/pop-shell.nix b/modules/gnome/extensions/pop-shell.nix deleted file mode 100644 index 85b84b1..0000000 --- a/modules/gnome/extensions/pop-shell.nix +++ /dev/null @@ -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 ]; -}