From 1877bc6769fb430f36f6559f88e9ac1d89bdf422 Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Sat, 20 Dec 2008 16:06:04 +0900 Subject: [PATCH] possible fix for case insensitive filenames --- anki/media.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/anki/media.py b/anki/media.py index e3822b94c..6506e9d16 100644 --- a/anki/media.py +++ b/anki/media.py @@ -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",