From dc54a69b7552d8d44adf25b8009992c4a2b395be Mon Sep 17 00:00:00 2001
From: steering7253
Date: Mon, 18 May 2026 01:25:46 -0600
Subject: init

---
 select | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 select

(limited to 'select')

diff --git a/select b/select
new file mode 100755
index 0000000..5464c7d
--- /dev/null
+++ b/select
@@ -0,0 +1,14 @@
+#!/bin/bash
+# Select a repo (for later git commands to operate on)
+
+if [ $# -ne 1 ]; then
+	echo "Syntax: $0 <name>" >&2
+	exit 1
+fi
+
+if [ ! -O "$HOME/$1.git" ]; then
+	echo "$0: error: you must own the repo you want to operate on" >&2
+	exit 1
+fi
+
+echo "$HOME/$1.git" >"$HOME/.selection"
-- 
cgit v1.3.1-10-gc9f91