diff --git a/pull-and-restart.sh b/pull-and-restart.sh old mode 100644 new mode 100755 diff --git a/restart.sh b/restart.sh old mode 100644 new mode 100755