From 4d1ea887ddf79da12ad658e82c82877c642465a3 Mon Sep 17 00:00:00 2001
From: Damien Elmes <git@ichi2.net>
Date: Thu, 4 Jun 2009 04:20:19 +0900
Subject: [PATCH] rename rather than copy file if same name but different case
 in media check

---
 anki/media.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/anki/media.py b/anki/media.py
index 9929e3ba6..60c879dac 100644
--- a/anki/media.py
+++ b/anki/media.py
@@ -66,7 +66,7 @@ Update media table. If file already exists, don't copy."""
     if not os.path.exists(new):
         if new.lower() == path.lower():
             # case insensitive filesystems suck
-            pass
+            os.rename(path, new)
         else:
             shutil.copy2(path, new)
     newSize = os.stat(new)[stat.ST_SIZE]