commit 247c41e8f851f47605642382d0adec2fbe870380
parent 2b067a2629360a597a8797c594f3051414809b7c
Author: Alex Balgavy <EMAIL>
Date: Sat, 7 Sep 2019 16:01:29 -0400
pop-set-theme: fixes
Former-commit-id: 4afa4938eb1da26985e63779da9f9bff79c94ea8
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/pop-set-theme b/scripts/pop-set-theme
@@ -1,5 +1,4 @@
#!/usr/bin/env bash
-set -x
get_profile_id() {
while read -r profid; do
name=$(dconf read /org/gnome/terminal/legacy/profiles:/:"$profid"/visible-name | tr -d "'")
@@ -47,7 +46,8 @@ set_xcape() {
[ $# -eq 1 ] || die "Need a theme."
if [ "$1" = "dark" ]; then switch_to_dark
-else switch_to_light
+elif [ "$1" = "light" ]; then switch_to_light
+else die "Either light or dark."
fi
restart_gnome_shell
sleep 3