feat: Improve installation robustness (#1807)

2026-07-07 05:07:26 +01:00 · 2026-07-06 07:46:01 +02:00
parent cfc44829f8
commit da032a401e
2 changed files with 26 additions and 9 deletions
@@ -539,7 +539,10 @@ getESD() {

  if [[ "$file" == *".xml" ]]; then

-    mv -f "$dir/$file" "$dir/$xFile"
+    if ! mv -f "$dir/$file" "$dir/$xFile"; then
+      error "Failed to rename $file to $xFile."
+      return 1
+    fi

  else