Skip to content

Geo: Rename the old directory first when swapping out the recovered directory

Stan Hu requested to merge sh-improve-error-recovery into master

If the main repository has files that cannot be purged with rm -rf due to permission errors of files inside the directory, the outdated repository will never recover. Renaming it to a different directory first will at least enable the recover mechanism to work. It does, however, mean the deleted directory will stick around.

Closes #4083 (closed)

Edited by Stan Hu

Merge request reports