2024-06-03 16:31:35 -05:00
|
|
|
# Pick a preconfigured theme
|
2024-06-09 04:16:43 -05:00
|
|
|
FONT=$(gum choose "Cascadia Mono" "Victor Mono" "Fira Mono" "JetBrains Mono" "Meslo" --header "Choose your programming font:" --height 6 | tr '[:upper:]' '[:lower:]' | sed 's/ /-/g')
|
2024-05-27 18:46:33 -05:00
|
|
|
|
2024-06-03 17:32:02 -05:00
|
|
|
[ ! -n "$FONT" ] && exit 0
|
|
|
|
|
|
2024-06-03 16:31:35 -05:00
|
|
|
if [ "$FONT" == "cascadia-mono" ]; then
|
|
|
|
|
NERD_FONT="CaskaydiaMono Nerd Font"
|
2024-06-09 04:16:43 -05:00
|
|
|
elif [ "$FONT" == "victor-mono" ]; then
|
|
|
|
|
NERD_FONT="VictorMono Nerd Font"
|
2024-06-03 16:31:35 -05:00
|
|
|
elif [ "$FONT" == "fira-mono" ]; then
|
|
|
|
|
NERD_FONT="FiraMono Nerd Font"
|
|
|
|
|
elif [ "$FONT" == "jetbrains-mono" ]; then
|
|
|
|
|
NERD_FONT="JetBrainsMono NFM"
|
|
|
|
|
elif [ "$FONT" == "meslo" ]; then
|
|
|
|
|
NERD_FONT="MesloLGLDZ Nerd Font"
|
2024-05-27 18:46:33 -05:00
|
|
|
fi
|
|
|
|
|
|
2024-06-03 16:31:35 -05:00
|
|
|
gsettings set org.gnome.desktop.interface monospace-font-name "$NERD_FONT 10"
|
|
|
|
|
sed -i "s/\"editor.fontFamily\": \".*\"/\"editor.fontFamily\": \"$NERD_FONT\"/g" ~/.config/Code/User/settings.json
|
