Make restore settings script executable

fixes #222
This commit is contained in:
Ole Jørgen Brønner
2020-01-11 10:00:38 +01:00
parent 49fe4a39f7
commit 0f003b2d69
+4
View File
@@ -13,6 +13,9 @@ if [[ $GNOME_SHELL_VERSION > "GNOME Shell 3.3" ]]; then
USE_OVERRIDE_SCHEMA=true
fi
echo -e "#!/usr/bin/env bash\n\n" > $RESTORE_SETTINGS_SCRIPT
chmod +x $RESTORE_SETTINGS_SCRIPT
function set-with-backup {
SCHEMA=$1
KEY=$2
@@ -51,5 +54,6 @@ set-with-backup org.gnome.shell.overrides edge-tiling false
set-with-backup org.gnome.shell.overrides attach-modal-dialogs false
echo
echo "Run $RESTORE_SETTINGS_SCRIPT to revert changes"