From 2de7d6cff46b5ce8a0a72aab892546477bb124c6 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 13 Sep 2023 13:55:54 +0200 Subject: [PATCH] fix issues when retrieving profiles UUID --- .config/update_theme.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.config/update_theme.sh b/.config/update_theme.sh index 95472b5..1c5c15e 100755 --- a/.config/update_theme.sh +++ b/.config/update_theme.sh @@ -15,8 +15,8 @@ main() { if [ $# -eq 0 ]; then echo "No arguments supplied" else - local profiles profile - profiles=("$(gsettings get org.gnome.Terminal.ProfilesList list | tr -d \'[],)") + local profiles + IFS=" " read -r -a profiles <<< "$(gsettings get org.gnome.Terminal.ProfilesList list | tr -d "\'[],")" case $1 in "sunset" ) # Go to dark mode # Set the Dracula theme