From: Christian Heller <c.heller@plomlompom.de>
Date: Tue, 15 Apr 2025 11:40:42 +0000 (+0200)
Subject: Fix.
X-Git-Url: https://plomlompom.com/repos/%22https:/validator.w3.org/ledger?a=commitdiff_plain;h=33a8c6ba23cdc2e654deadafe81197cc08b30c4a;p=config

Fix.
---

diff --git a/bookworm/home/catgirl/.plomlib/constants_catgirl b/bookworm/home/catgirl/.plomlib/constants_catgirl
deleted file mode 100644
index daa6b56..0000000
--- a/bookworm/home/catgirl/.plomlib/constants_catgirl
+++ /dev/null
@@ -1,4 +0,0 @@
-. lib/constants_user  # PATH_USER_HOME
-
-PATH_USER_SHARE_CATGIRL="${PATH_USER_HOME}/.local/share/catgirl"
-
diff --git a/bookworm/home/catgirl/.plomlib/constants_catgirl b/bookworm/home/catgirl/.plomlib/constants_catgirl
new file mode 120000
index 0000000..cc7e3bf
--- /dev/null
+++ b/bookworm/home/catgirl/.plomlib/constants_catgirl
@@ -0,0 +1 @@
+../../../scripts/lib/constants_catgirl
\ No newline at end of file
diff --git a/bookworm/scripts/lib/constants_catgirl b/bookworm/scripts/lib/constants_catgirl
new file mode 100644
index 0000000..daa6b56
--- /dev/null
+++ b/bookworm/scripts/lib/constants_catgirl
@@ -0,0 +1,4 @@
+. lib/constants_user  # PATH_USER_HOME
+
+PATH_USER_SHARE_CATGIRL="${PATH_USER_HOME}/.local/share/catgirl"
+
diff --git a/testing/scripts/init_server_access.sh b/testing/scripts/init_server_access.sh
index 7819d84..90a3a4c 100755
--- a/testing/scripts/init_server_access.sh
+++ b/testing/scripts/init_server_access.sh
@@ -13,8 +13,13 @@ SERVER="$1"
 echo '\nKnow host.\n'
 set +e
 ssh-keygen -f "${PATH_KNOWN_HOSTS}" -R "${SERVER}"
-set -e
 ssh-keyscan "${SERVER}" >> "${PATH_KNOWN_HOSTS}"
+RESULT=$?
+echo "DEBUG (why does script sometimes stop here if 'set -e' a bit earlier?): ${RESULT}"
+if [ "${RESULT}" != "0" ]; then
+    exit 1 
+fi
+set -e
 
 echo '\nAsking for new root password.\n'
 stty -echo