From b6f89beb1ad29ec548240d5054c9396c48143ff7 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@aquariusoft.org>
Date: Sat, 12 Jul 2014 23:00:45 +0200
Subject: [PATCH] Simple script to make a file executable and mark it as such
 in git

---
 bin/git_executable.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 bin/git_executable.sh

diff --git a/bin/git_executable.sh b/bin/git_executable.sh
new file mode 100755
index 0000000..c434a2b
--- /dev/null
+++ b/bin/git_executable.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+if [ -n "$1" ]; then
+    chmod +x $1
+    git update-index --chmod=+x $1
+else
+    echo "Provide a target file to make executable"
+fi