Fix.

diff --git a/bookworm/home/catgirl/.plomlib/constants_catgirl b/bookworm/home/catgirl/.plomlib/constants_catgirl
deleted file mode 100644 (file)
index daa6b56b029544c18287914e042e8b1f2b1ea212..0000000000000000000000000000000000000000
--- 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 (symlink)
index 0000000000000000000000000000000000000000..cc7e3bf98ea3d5e7f685ceedd080ba405a774d74
--- /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 (file)
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 7819d84dc4b952131b3a4a7ef6dab706d60f4887..90a3a4c7ea67b1bba7cdf50c5412cefa5ff2ea14 100755 (executable)
--- 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