scripts got (hopefully) +x permissions now

Author: rbudde

openroberta/scripts/deploy.sh

@@ -1,3 +1,5 @@
+#!/bin/bash
+
 echo '
 # ------------------------------------------------------------------------------------------------------------- #
 # deployment script: deploy a version at master, setup develop for the next version.                            #

openroberta/scripts/helper/__githelper.sh

@@ -1,3 +1,5 @@
+#!/bin/bash
+
 # helper functions - MUST BE SOURCED
 
 # ask a question. If the user answers "y", everything is fine. Otherwise exit 12

openroberta/scripts/helper/_pushMasterAndDevelop.sh

@@ -1,3 +1,5 @@
+#!/bin/bash
+
 echo '
 # ------------------------------------------------------------------------------ #
 # push master and develop to remote                                              #

openroberta/scripts/helper/_serverStateOverview.sh

@@ -1,3 +1,5 @@
+#!/bin/bash
+
 NGINX_LOG='/data/openroberta-lab/nginx/logs/access.log'
 AUTORESTART_LOG='/data/openroberta-lab/logs/autorestart.txt'
 

openroberta/scripts/helper/_showActivityOnce.sh

@@ -1,3 +1,5 @@
+#!/bin/bash
+
 # show the assembled activities from users once. This is the data delivered by the 2 REST calls /rest/alive and /rest/data/server/dbsessions
 # Usage:
 # SERVER_NAME: name of a server, as test, dev, dev1...dev9. REQUIRED.

openroberta/scripts/helper/_showResources.sh

@@ -1,3 +1,5 @@
+#!/bin/bash
+
 # show the usage of some server resources:
 # - file descriptors
 # - threads

openroberta/scripts/hotfix.sh

@@ -1,3 +1,5 @@
+#!/bin/bash
+
 echo '
 # --------------------------------------------------------------------------------------------------------------------- #
 # hotfix script: merge a hotfix to master, merge to develop, setup develop for the next version.                        #