mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-10-16 10:27:08 +00:00
Allow files to be copied into new folders
Change-Id: I7f169e32be5a4328bb87ce7c2ff4b6529e925126
This commit is contained in:
1 parent
f4f04d9fa8
commit
2daf66740b
1 file changed
+4
@@ -203,6 +203,10 @@ class _CopyFile:
|
||||
# remove existing file first, since it might be read-only
|
||||
if os.path.exists(dest):
|
||||
os.remove(dest)
|
||||
else:
|
||||
dir = os.path.dirname(dest)
|
||||
if not os.path.isdir(dir):
|
||||
os.makedirs(dir)
|
||||
shutil.copy(src, dest)
|
||||
# make the file read-only
|
||||
mode = os.stat(dest)[stat.ST_MODE]
|
||||
|
||||
Reference in new issue
Block a user