Personal-use NixOS configuration
Use Jetbrains Mono as console font
+6
+6
homes/encode42/desktop/environments/gnome.nix
+6
homes/encode42/desktop/environments/gnome.nix
···
14
14
clock-format = "12h";
15
15
};
16
16
17
+
"org/gnome/Console" = {
18
+
custom-font = "JetBrains Mono 11";
19
+
};
20
+
17
21
"org/gnome/shell" = {
18
22
favorite-apps = [ ];
19
23
···
108
112
gnomeExtensions.tiling-shell
109
113
gnomeExtensions.pano
110
114
gnomeExtensions.blur-my-shell
115
+
116
+
jetbrains-mono
111
117
];
112
118
}