From 55fa67aec0d80cabf327570b05774abe7604b6ff Mon Sep 17 00:00:00 2001 From: romkatv Date: Thu, 30 Jan 2020 13:22:59 +0100 Subject: [PATCH] mention font size --- internal/wizard.zsh | 1 + 1 file changed, 1 insertion(+) diff --git a/internal/wizard.zsh b/internal/wizard.zsh index 5463abaf..7e467216 100755 --- a/internal/wizard.zsh +++ b/internal/wizard.zsh @@ -1553,6 +1553,7 @@ while true; do ask_narrow_icons || continue # Set screen size to 80x25, run `p10k configure`, answer "yyyy22". + # gsettings set org.gnome.desktop.interface monospace-font-name 'MesloLGS NF 48' local few_icons=("$extra_icons[@]") ask_extra_icons || continue local many_icons=("$extra_icons[@]")