diff --git a/bin/omakub-sub/font.sh b/bin/omakub-sub/font.sh index 50559ddfe..dd846519e 100644 --- a/bin/omakub-sub/font.sh +++ b/bin/omakub-sub/font.sh @@ -26,7 +26,7 @@ set_font() { if [ "$#" -gt 1 ]; then choice=${!#} else - choice=$(gum choose "Cascadia Mono" "Fira Mono" "JetBrains Mono" "Meslo" "> Change size" "<< Back" --height 8 --header "Choose your programming font") + choice=$(gum choose "Cascadia Mono" "Fira Mono" "JetBrains Mono" "Meslo" "Ioskeley" "> Change size" "<< Back" --height 8 --header "Choose your programming font") fi case $choice in @@ -42,6 +42,9 @@ case $choice in "Meslo") set_font "MesloLGS Nerd Font" "https://github.com/ryanoasis/nerd-fonts/releases/latest/download/Meslo.zip" "ttf" ;; +"Ioskeley") + set_font "IoskeleyMono Nerd Font" "https://github.com/ahatem/IoskeleyMono/releases/download/v2.0.0/IoskeleyMono-NerdFont.zip" "ttf" + ;; "> Change size") source $OMAKUB_PATH/bin/omakub-sub/font-size.sh exit diff --git a/configs/alacritty/fonts/IoskeleyMono.toml b/configs/alacritty/fonts/IoskeleyMono.toml new file mode 100644 index 000000000..634d77565 --- /dev/null +++ b/configs/alacritty/fonts/IoskeleyMono.toml @@ -0,0 +1,4 @@ +[font] +normal = { family = "IoskeleyMono Nerd Font", style = "Regular" } +bold = { family = "IoskeleyMono Nerd Font", style = "Bold" } +italic = { family = "IoskeleyMono Nerd Font", style = "Italic" } diff --git a/install/desktop/optional/app-spotify.sh b/install/desktop/optional/app-spotify.sh index 10e444cf5..2e0ec7d44 100644 --- a/install/desktop/optional/app-spotify.sh +++ b/install/desktop/optional/app-spotify.sh @@ -3,7 +3,7 @@ # Stream music using https://spotify.com if [ ! -f /etc/apt/sources.list.d/spotify.list ]; then [ -f /etc/apt/trusted.gpg.d/spotify.gpg ] && sudo rm /etc/apt/trusted.gpg.d/spotify.gpg - curl -sS https://download.spotify.com/debian/pubkey_C85668DF69375001.gpg | sudo gpg --dearmor --yes -o /etc/apt/trusted.gpg.d/spotify.gpg + curl -sS https://download.spotify.com/debian/pubkey_5384CE82BA52C83A.gpg | sudo gpg --dearmor --yes -o /etc/apt/trusted.gpg.d/spotify.gpg echo "deb [signed-by=/etc/apt/trusted.gpg.d/spotify.gpg] https://repository.spotify.com stable non-free" | sudo tee /etc/apt/sources.list.d/spotify.list fi diff --git a/migrations/1770656330.sh b/migrations/1770656330.sh new file mode 100644 index 000000000..064b6e245 --- /dev/null +++ b/migrations/1770656330.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +# Update Spotify GPG key if the repository is present +if [ -f /etc/apt/sources.list.d/spotify.list ]; then + echo "Updating Spotify GPG key..." + curl -sS https://download.spotify.com/debian/pubkey_5384CE82BA52C83A.gpg | sudo gpg --dearmor --yes -o /etc/apt/trusted.gpg.d/spotify.gpg + echo "deb [signed-by=/etc/apt/trusted.gpg.d/spotify.gpg] https://repository.spotify.com stable non-free" | sudo tee /etc/apt/sources.list.d/spotify.list +fi \ No newline at end of file