Simple script to make a file executable and mark it as such in git

2026-05-06 20:24:10 +02:00 · 2014-07-12 23:00:45 +02:00
parent 4a944416e0
commit b6f89beb1a
1 changed files with 7 additions and 0 deletions
@@ -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