From 2db69b1cfa63f8e248994a1da12a976a807ababd Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Wed, 4 Sep 2019 15:44:34 +0200
Subject: [PATCH] make_mirror.sh: suggest which cache to delete

---
 make_mirror.sh | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/make_mirror.sh b/make_mirror.sh
index 05f80cf..2b9fa6c 100755
--- a/make_mirror.sh
+++ b/make_mirror.sh
@@ -12,7 +12,19 @@ set -eu
 if [ -e "./shared/cache.A" ] && [ -e "./shared/cache.B" ]; then
 	echo "both ./shared/cache.A and ./shared/cache.B exist" >&2
 	echo "was a former run of the script aborted?" >&2
-	echo "cache symlink points to $(readlink ./shared/cache)" >&2
+	if [ -e ./shared/cache ]; then
+		echo "cache symlink points to $(readlink ./shared/cache)" >&2
+		case "$(readlink ./shared/cache)" in
+			cache.A)
+				echo "maybe rm -r ./shared/cache.B" >&2
+				;;
+			cache.B)
+				echo "maybe rm -r ./shared/cache.A" >&2
+				;;
+			*)
+				echo "unexpected" >&2
+		esac
+	fi
 	exit 1
 fi