diff --git a/tools/repo/fix-script-permissions.sh b/tools/repo/fix-script-permissions.sh new file mode 100755 index 0000000..21eaa8c --- /dev/null +++ b/tools/repo/fix-script-permissions.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +for s in $(find tools/ -type f -iname "*.sh"); do + [ -x $s ] && continue + echo "fixing permissions for $s..." + chmod +x $s +done