From: Thomas Walker Lynch Date: Fri, 7 Nov 2025 12:20:06 +0000 (+0000) Subject: following RT plurals convention X-Git-Url: https://git.reasoningtechnology.com/style/static/git-favicon.png?a=commitdiff_plain;h=6e5da6b6372a1d251d903c04a605de8386145d96;p=subu-incommon%2F.git following RT plurals convention --- diff --git a/permission.sh b/permission.sh new file mode 100755 index 0000000..d8b2bd5 --- /dev/null +++ b/permission.sh @@ -0,0 +1,26 @@ +#!/bin/bash +# permissions.sh +# do this after a git clone +# Make incommon/{executable,library} group-readable and non-group-writable, +# preserving existing execute bits (via X). + +set -euo pipefail + +BASE=${1:-incommon} + +if [ ! -d "$BASE" ]; then + echo "Error: $BASE is not a directory" >&2 + exit 1 +fi + +# 1. Let group members enter the top-level incommon directory +chmod g+rx "$BASE" + +# 2. Fix permissions on executable/ and library/ subtrees +for sub in executable library; do + if [ -d "$BASE/$sub" ]; then + chmod -R g+rX,g-w "$BASE/$sub" + else + echo "Note: $BASE/$sub does not exist, skipping" >&2 + fi +done diff --git a/permissions.sh b/permissions.sh deleted file mode 100755 index d8b2bd5..0000000 --- a/permissions.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/bash -# permissions.sh -# do this after a git clone -# Make incommon/{executable,library} group-readable and non-group-writable, -# preserving existing execute bits (via X). - -set -euo pipefail - -BASE=${1:-incommon} - -if [ ! -d "$BASE" ]; then - echo "Error: $BASE is not a directory" >&2 - exit 1 -fi - -# 1. Let group members enter the top-level incommon directory -chmod g+rx "$BASE" - -# 2. Fix permissions on executable/ and library/ subtrees -for sub in executable library; do - if [ -d "$BASE/$sub" ]; then - chmod -R g+rX,g-w "$BASE/$sub" - else - echo "Note: $BASE/$sub does not exist, skipping" >&2 - fi -done