From 0f003b2d6981d0eb20cda100b31e461af2f31d34 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20J=C3=B8rgen=20Br=C3=B8nner?= <olejorgenb@yahoo.no>
Date: Sat, 11 Jan 2020 10:00:38 +0100
Subject: [PATCH] Make restore settings script executable

fixes #222
---
 set-recommended-gnome-shell-settings.sh | 4 ++++
 1 file changed, 4 insertions(+)

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"