pomp/.dotfiles
1
0
Fork 0
Code Issues Pull requests Activity

gnome extension: remove pomodoro@arun.codito.in

Browse source
This commit is contained in:
Kim, Jimin 2025-05-30 09:36:47 +09:00
parent d688682fc3
commit 719a0c382f
Signed by: pomp
GPG key ID: D3932F82A0667A3B
2 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
modules/home-manager/dconf-gnome-extensions.nix
View file

@ -8,12 +8,11 @@
appindicator.extensionUuid
bluetooth-battery-meter.extensionUuid
blur-my-shell.extensionUuid
gnome-40-ui-improvements.extensionUuid
lock-keys.extensionUuid
pop-shell.extensionUuid
tray-icons-reloaded.extensionUuid
gnome-40-ui-improvements.extensionUuid
user-themes.extensionUuid
"pomodoro@arun.codito.in"
];
};

3
modules/nixos/gnome.nix
View file

@ -12,14 +12,13 @@
environment.systemPackages = with pkgs; [
# Desktop
gnomeExtensions.appindicator
gnomeExtensions.gnome-40-ui-improvements
gnomeExtensions.bluetooth-battery-meter
gnomeExtensions.blur-my-shell
gnomeExtensions.gnome-40-ui-improvements
gnomeExtensions.lock-keys
gnomeExtensions.pop-shell
gnomeExtensions.tray-icons-reloaded
gnomeExtensions.user-themes
gnome-pomodoro
# Icons & Themes
papirus-icon-theme