History rewrite

2023-11-21 20:27:31 -06:00
parent 25255fd6b8
commit 397034b53e
69 changed files with 6568 additions and 8 deletions
--- a/common.sh
+++ b/common.sh
@@ -0,0 +1,9 @@
+follow_link() {
+	FILE="$1"
+	while [ -h "$FILE" ]; do
+		# On macOS, readlink -f doesn't work.
+		FILE="$(readlink "$FILE")"
+	done
+	echo "$FILE"
+}
+