GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-20 06:52:21 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

rename rather than copy file if same name but different case in media check

Browse source
This commit is contained in:
Damien Elmes 2009-06-04 04:20:19 +09:00
parent 5692c91855
commit 4d1ea887dd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
anki/media.py
View file

@ -66,7 +66,7 @@ Update media table. If file already exists, don't copy."""
if not os.path.exists(new): if not os.path.exists(new):
if new.lower() == path.lower(): if new.lower() == path.lower():
# case insensitive filesystems suck # case insensitive filesystems suck
pass os.rename(path, new)
else: else:
shutil.copy2(path, new) shutil.copy2(path, new)
newSize = os.stat(new)[stat.ST_SIZE] newSize = os.stat(new)[stat.ST_SIZE]