Joseph-DiGiovanni/Nix
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Change console font

Browse source
This commit is contained in:
Joseph DiGiovanni 2024-08-03 15:24:41 -04:00
parent 7df0ac1cc4
commit fbbca788e3
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
home/common/gnome/gnome-console.nix
View file

@ -4,9 +4,9 @@
dconf.settings = { dconf.settings = {
"org/gnome/Console" = "org/gnome/Console" =
let let
fontSize = 10; fontSize = 12;
fontWidth = fontSize * 0.8; fontWidth = 8;
lineSpacing = fontSize * 0.4 * 2; # Each line has a space of 0.4em above and below it lineSpacing = 2 * 2; # Each line has a space above and below it
terminalMode = { terminalMode = {
# Based on VT100 video modes # Based on VT100 video modes
@ -19,11 +19,11 @@
terminalSize = terminalMode.extended; terminalSize = terminalMode.extended;
in in
{ {
custom-font = "Source Code Pro " + toString fontSize; custom-font = "Unifont " + toString fontSize;
last-window-size = with builtins; lib.hm.gvariant.mkTuple [ last-window-size = with builtins; lib.hm.gvariant.mkTuple [
(ceil ((elemAt terminalSize 0 * fontWidth) + 12)) (ceil ((elemAt terminalSize 0 * fontWidth) + 12))
(ceil ((elemAt terminalSize 1 * (fontSize + lineSpacing)) + 48)) (ceil (((elemAt terminalSize 1 + .5) * (fontSize + lineSpacing)) + 48))
]; ];
theme = "night"; theme = "night";