Andrew/configuration
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add enabled GNOME Shell extensions

Browse source
This commit is contained in:
Andrew Kvalheim 2022-09-10 19:38:11 -07:00
parent 606f5f31f0
commit cedbd4a33e
1 changed files with 11 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
common/components/desktop.nix
View file

@ -2,6 +2,13 @@
let let
host = config.host; host = config.host;
extensions = with pkgs; [
gnomeExtensions.appindicator
gnomeExtensions.system-monitor
gnomeExtensions.tiling-assistant
gnomeExtensions.user-themes
];
in in
{ {
# Input # Input
@ -15,11 +22,11 @@ in
# Packages # Packages
home.packages = with pkgs; [ home.packages = with pkgs; [
gnome.gnome-tweaks gnome.gnome-tweaks
gnomeExtensions.appindicator
gnomeExtensions.system-monitor
gnomeExtensions.tiling-assistant
yaru-theme yaru-theme
]; ] ++ extensions;
# Shell
dconf.settings."org/gnome/shell".enabled-extensions = map (e: e.extensionUuid) extensions;
# Disabled extensions notification # Disabled extensions notification
home.file."${config.xdg.configHome}/autostart/disabled-extensions-notification.desktop".text = with pkgs; '' home.file."${config.xdg.configHome}/autostart/disabled-extensions-notification.desktop".text = with pkgs; ''