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

gui/gnome: add terminal profile

Browse source
This commit is contained in:
makefu 2023-08-17 14:14:11 +02:00
parent 5295144223
commit e118e2fad3
No known key found for this signature in database
GPG key ID: 36F7711F3FC0F225
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
2configs/gui/gnome.nix
View file

@ -22,6 +22,13 @@ in
mnemonics-enabled = false;
theme-variant = "dark";
};
"org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9" = {
audible-bell=false;
font='Terminus 12';
scrollback-unlimited=true;
use-system-font=false;
use-theme-colors=true;
};
"org/gnome/desktop/interface" = {
enable-animations = false;
enable-hot-corners = false;