diff options
Diffstat (limited to 'mini-dinstall')
| -rwxr-xr-x | mini-dinstall | 3 |
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: |