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