TYPES.indexcache and types.indexcache in same directory
Brought to you by:
fabioz
Menu
▾
▴
#1271 TYPES.indexcache and types.indexcache in same directory
I have a couple Pydev projects on my Linux system with files like the following:
.metadata/.plugins/com.python.pydev.analysis/python_L3Vzci9iaW4vcHl0aG9uMi42/indexcache/types.indexcache
.metadata/.plugins/com.python.pydev.analysis/python_L3Vzci9iaW4vcHl0aG9uMi42/indexcache/TYPES.indexcache
Of course this is fine under Linux but when I sync to my Windows system... it can't be done due to the stupid case-folding filesystem. Despite this being stupid Windows' fault, it would still be nice if Pydev would avoid creating these files that (case-insensitively) have the same name. Obviously it doesn't under Windows... right?
OS: Linux, Kubuntu 10.10 Maverick
Eclipse: 3.5.2
Pydev: 1.6.3.2010100513
