diff --git a/maint/update_setupsh_branch.sh b/maint/update_setupsh_branch.sh old mode 100644 new mode 100755 index 4d6a07cd..299747de --- a/maint/update_setupsh_branch.sh +++ b/maint/update_setupsh_branch.sh @@ -1,3 +1,5 @@ +#!/bin/bash + asker() { read -r -p "$1" yn case ${yn} in diff --git a/maint/version_bump.sh b/maint/version_bump.sh old mode 100644 new mode 100755