In do_rename, use copy+delete rather than rename to solve some ownership problems.

1 files changed, 2 insertions, 1 deletions

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: