diff --git a/set-recommended-gnome-shell-settings.sh b/set-recommended-gnome-shell-settings.sh index 3109ca5..3e866b8 100755 --- a/set-recommended-gnome-shell-settings.sh +++ b/set-recommended-gnome-shell-settings.sh @@ -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"