Change console font
This commit is contained in:
parent
4b4a43209c
commit
0e875355ec
|
@ -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";
|
||||
|
|
Loading…
Reference in a new issue