Anri/confOS
1
0
Fork 0
Code Issues 27 Pull requests Projects Releases Wiki Activity

fix issues when retrieving profiles UUID

Browse source
This commit is contained in:
Mylloon 2023-09-13 13:55:54 +02:00
parent 3c1ce4fccc
commit 2de7d6cff4
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.config/update_theme.sh
View file

@ -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