fix: Make changing ownership non-fatal (#1858)

This commit is contained in:
Kroese
2026-07-15 18:27:08 +02:00
committed by GitHub
parent 50d5f4fc09
commit 463935baf2
2 changed files with 5 additions and 8 deletions
+2 -2
View File
@@ -153,13 +153,13 @@ markWindowsBooted() {
! ready && return 0
if ! touch "$file"; then
error "Failed to create Windows installation marker!"
warn "failed to create Windows installation marker!"
return 0
fi
if ! setOwner "$file"; then
rm -f "$file"
error "Failed to set the owner for \"$file\" !"
warn "failed to set the owner for \"$file\" !"
return 0
fi