From 8aca770c40426a67dd2bcde60fcfb593e372e404 Mon Sep 17 00:00:00 2001
From: "Andreas B. Mundt" <andreas.mundt@steinbeisschule-reutlingen.de>
Date: Wed, 13 Sep 2023 19:36:20 +0200
Subject: [PATCH] Dolphin keeps outdated paths (after Versetzung).

---
 roles/lmn_kde/files/lmn-fix-dolphin.sh | 32 ++++++++++++++++++++++++++
 roles/lmn_kde/tasks/main.yml           |  5 ++++
 2 files changed, 37 insertions(+)
 create mode 100755 roles/lmn_kde/files/lmn-fix-dolphin.sh

diff --git a/roles/lmn_kde/files/lmn-fix-dolphin.sh b/roles/lmn_kde/files/lmn-fix-dolphin.sh
new file mode 100755
index 0000000..b7ec7e3
--- /dev/null
+++ b/roles/lmn_kde/files/lmn-fix-dolphin.sh
@@ -0,0 +1,32 @@
+#!/usr/bin/bash
+#
+# Dolphin keeps old paths after modifications.
+# Run with '--do-it' to really make the change.
+#
+set -eu
+
+do="${1:-}"
+
+bmk=".local/share/user-places.xbel"
+rt="/srv/samba/schools/default-school/students"
+
+extract() {
+    local grp="$1"
+    grp="${grp##*${rt}/}"
+    grp="${grp%%/*}"
+    echo $grp
+}
+
+for f in $(find $rt/*/*/$bmk) ; do
+    cor="$(extract $f)"
+    for l in "$(grep "$rt" "$f")" ; do
+	fnd="$(extract "$l")"
+	if [[ "$cor" != "$fnd" ]] ; then
+	    echo "Check ${f##*${rt}/}: '$cor' != '$fnd'."
+	    if [[ "$do" = "--do-it" ]] ; then
+		sed -i.lmn-fix-path "s|$rt/$fnd|$rt/$cor|g" "$f"
+		break
+	    fi
+	fi
+    done
+done
diff --git a/roles/lmn_kde/tasks/main.yml b/roles/lmn_kde/tasks/main.yml
index 32eeebd..6fc7ba8 100644
--- a/roles/lmn_kde/tasks/main.yml
+++ b/roles/lmn_kde/tasks/main.yml
@@ -109,6 +109,11 @@
       AllowSuspendThenHibernate=no
       AllowHybridSleep=no
 
+- name: Deploy dolphin script
+  copy:
+    src: lmn-fix-dolphin.sh
+    dest: /usr/local/bin/
+    mode: '0755'
 
 ################# general settings ##################
 - name: Enable boot splash screen