#!/bin/bash set -e mkdir -p ~/.local/share/fonts # Pick a preselected font if ! [ -f "$HOME/.local/share/fonts/CaskaydiaMonoNerdFont-Regular.ttf" ]; then cd ~/Downloads wget https://github.com/ryanoasis/nerd-fonts/releases/download/v3.1.1/CascadiaMono.zip unzip CascadiaMono.zip -d CascadiaFont mkdir -p ~/.local/share/fonts cp CascadiaFont/*.ttf ~/.local/share/fonts rm -rf CascadiaMono.zip CascadiaFont fc-cache cd - fi # Replace font = { family: X } gsettings set org.gnome.desktop.interface monospace-font-name 'CaskaydiaMono Nerd Font 10'