felschr/nixos-config
1
1
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

feat(gnome): update pop-shell

Browse source
This commit is contained in:
Felix Schröter 2020-09-23 09:32:29 +02:00
parent b438e062c2
commit a401e96e28
No known key found for this signature in database
GPG key ID: 910ACB9F6BD26F58
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
desktop/gnome.nix
View file

@ -2,15 +2,15 @@
with pkgs; with pkgs;
let let
gnome-shell-extension-pop-shell = stdenv.mkDerivation rec { pop-shell = stdenv.mkDerivation rec {
pname = "gnome-shell-extension-pop-shell"; pname = "pop-shell";
version = "2020-08-14"; version = "2020-09-08";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "pop-os"; owner = "pop-os";
repo = "shell"; repo = "shell";
rev = "69415ea1fa221a15e8b1c1f9f9ab0b4ba302ee9c"; rev = "017c92e04f4eefead2561fa35559891eb83388c9";
sha256 = "0p0kh1f7achrr51mwmxnnliz82qmfdi37wvc9xhf02w0cx28hlml"; sha256 = "12ch08ny3m2hf6ii2niw0x07pfcknl3r8rixvijaj36wvbgviaxa";
}; };
nativeBuildInputs = [ glib ]; nativeBuildInputs = [ glib ];
@ -21,13 +21,13 @@ let
}; };
in in
{ {
environment.systemPackages = with pkgs; [ environment.systemPackages = with pkgs; with gnomeExtensions; [
gnome3.dconf-editor gnome3.dconf-editor
gnome3.gnome-tweaks gnome3.gnome-tweaks
gnome3.gnome-shell-extensions # required for user-theme gnome3.gnome-shell-extensions # required for user-theme
gnomeExtensions.dash-to-panel dash-to-panel
gnomeExtensions.appindicator appindicator
gnome-shell-extension-pop-shell pop-shell
]; ];
services.xserver.displayManager.gdm.enable = true; services.xserver.displayManager.gdm.enable = true;