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

possible fix for case insensitive filenames

Browse source
This commit is contained in:
Damien Elmes 2008-12-20 16:06:04 +09:00
parent 1ee40d0869
commit 1877bc6769
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
anki/media.py
View file

@ -58,7 +58,11 @@ Update media table. If file already exists, don't copy."""
new = os.path.join(deck.mediaDir(create=True), newBase)
# copy if not existing
if not os.path.exists(new):
shutil.copy2(path, new.encode(sys.getfilesystemencoding()))
if new.lower() == path.lower():
# case insensitive filesystems suck
os.rename(path, new.encode(sys.getfilesystemencoding()))
else:
shutil.copy2(path, new.encode(sys.getfilesystemencoding()))
newSize = os.stat(new)[stat.ST_SIZE]
if not deck.s.scalar(
"select 1 from media where filename = :f",