From 6512cde4f78bcca88065d96897c70f37f5c1dd50 Mon Sep 17 00:00:00 2001
From: David Heinemeier Hansson <david@hey.com>
Date: Wed, 12 Jun 2024 11:36:09 +0200
Subject: [PATCH] Set font at the end

Since sometimes it mucks up the terminal while installing
---
 install/fonts.sh                | 3 ---
 install/set-gnome-extensions.sh | 3 +++
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/install/fonts.sh b/install/fonts.sh
index 213e5a63..035f331d 100644
--- a/install/fonts.sh
+++ b/install/fonts.sh
@@ -13,6 +13,3 @@ rm -rf iafonts.zip iaFonts
 
 fc-cache
 cd -
-
-# Set Cascadia Mono as the default
-gsettings set org.gnome.desktop.interface monospace-font-name 'CaskaydiaMono Nerd Font 10'
diff --git a/install/set-gnome-extensions.sh b/install/set-gnome-extensions.sh
index 52837787..dc6663a8 100644
--- a/install/set-gnome-extensions.sh
+++ b/install/set-gnome-extensions.sh
@@ -63,3 +63,6 @@ gsettings set org.gnome.shell.extensions.space-bar.shortcuts open-menu "@as []"
 
 # Configure tweaks
 gsettings set org.gnome.mutter center-new-windows true
+
+# Set Cascadia Mono as the default monospace font
+gsettings set org.gnome.desktop.interface monospace-font-name 'CaskaydiaMono Nerd Font 10'