feat: setup pop-shell
This commit is contained in:
parent
55b9993e57
commit
0b05dd2d84
2 changed files with 27 additions and 0 deletions
|
@ -1,5 +1,25 @@
|
|||
{ config, pkgs, ... }:
|
||||
|
||||
with pkgs;
|
||||
let
|
||||
gnome-shell-extension-pop-shell = stdenv.mkDerivation rec {
|
||||
pname = "gnome-shell-extension-pop-shell";
|
||||
version = "2020-03-12";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "pop-os";
|
||||
repo = "shell";
|
||||
rev = "6cd22230503b7bba0cc35f499a040f7d7eb44637";
|
||||
sha256 = "1574c9v3ifkjag8kbib28rjzal7h3mb78inssl92wf0hvrlsvilr";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ glib ];
|
||||
buildInputs = [ nodePackages.typescript ];
|
||||
|
||||
# the gschema doesn't seem to be installed properly (see dconf)
|
||||
makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ];
|
||||
};
|
||||
in
|
||||
{
|
||||
environment.systemPackages = with pkgs; [
|
||||
gnome3.dconf-editor
|
||||
|
@ -7,6 +27,7 @@
|
|||
gnome3.gnome-shell-extensions # required for user-theme
|
||||
gnomeExtensions.dash-to-panel
|
||||
gnomeExtensions.appindicator
|
||||
gnome-shell-extension-pop-shell
|
||||
];
|
||||
|
||||
# Enable Gnome 3
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue