From 761cc10dcfde700de18b1513f3f6915b54293ddd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Fri, 3 Jan 2020 17:50:11 +0100 Subject: [PATCH] Change gnome-shell monospace font --- debian/kali-themes.gsettings-override | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/kali-themes.gsettings-override b/debian/kali-themes.gsettings-override index ebd1fa56..c816484b 100644 --- a/debian/kali-themes.gsettings-override +++ b/debian/kali-themes.gsettings-override @@ -15,6 +15,7 @@ theme='Kali-Dark' [org.gnome.desktop.interface] icon-theme='Flat-Remix-Blue-Dark' gtk-theme='Kali-Dark' +monospace-font-name='Fira Code Medium 10' # Manually set background and login screen for GNOME (so that # kali-desktop-base is not required)