_/nix
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

gnome: Add night-time-switcher extension

Browse source
This commit is contained in:
Sijmen 2022-12-17 17:40:54 +01:00
parent cefac1e636
commit 5c14bae424
Signed by: vijfhoek
GPG key ID: DAF7821E067D9C48
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
common/dconf.nix
View file

@ -3,7 +3,6 @@
{ {
dconf.settings = { dconf.settings = {
"system/locale".region = "nl_NL.UTF-8"; "system/locale".region = "nl_NL.UTF-8";
"org/gnome/console".theme = "day";
"org/gnome/desktop/input-sources".xkb-options = [ "compose:ralt" ]; "org/gnome/desktop/input-sources".xkb-options = [ "compose:ralt" ];
"org/gnome/desktop/peripherals/mouse".accel-profile = "flat"; "org/gnome/desktop/peripherals/mouse".accel-profile = "flat";
"org/gnome/desktop/peripherals/touchpad".disable-while-typing = false; "org/gnome/desktop/peripherals/touchpad".disable-while-typing = false;
@ -58,7 +57,10 @@
]; ];
disable-user-extensions = false; disable-user-extensions = false;
enabled-extensions = [ "openweather-extension@jenslody.de" ]; enabled-extensions = [
"openweather-extension@jenslody.de"
"nightthemeswitcher@romainvigier.fr"
];
}; };
"org/gnome/nautilus/preferences" = { "org/gnome/nautilus/preferences" = {

2
common/home-manager/home.nix
View file

@ -61,6 +61,8 @@
yubikey-manager yubikey-manager
ark ark
gnomeExtensions.night-theme-switcher
libarchive libarchive
p7zip p7zip
unrar unrar