From: Thomas Walker Lynch <eknp9n@thomas-walker-lynch.com>
Date: Fri, 7 Nov 2025 10:35:10 +0000 (+0000)
Subject: permissions after a pull
X-Git-Url: https://git.reasoningtechnology.com/?a=commitdiff_plain;h=ce244f01218c6b8628539479f6549bcf7f72bd90;p=subu-incommon%2F.git

permissions after a pull
---

diff --git a/permissions.sh b/permissions.sh
new file mode 100755
index 0000000..d8b2bd5
--- /dev/null
+++ b/permissions.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