From 82aee2a00eee55a809031ce16eb289fb7cf96579 Mon Sep 17 00:00:00 2001 From: Unit 193 Date: Sat, 5 Feb 2022 22:10:25 -0500 Subject: In do_rename, use copy+delete rather than rename to solve some ownership problems. --- mini-dinstall | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mini-dinstall b/mini-dinstall index 319d9e5..cb18fef 100755 --- a/mini-dinstall +++ b/mini-dinstall @@ -192,7 +192,8 @@ def do_mkdir(name): exit(1) def do_rename(source, target): - do_and_log('Renaming "%s" to "%s"' % (source, target), os.rename, source, target) + do_and_log('Renaming "%s" to "%s"' % (source, target), shutil.copy, source, target) + os.remove(source) def do_chmod(name, mode): if mode == 0: -- cgit v1.2.3