title: Ignore case in glob() on Linux
body: <p>I'm writing a script which will have to work on directories which are modified by hand by Windows and Linux users alike. The Windows users tend to not care at all about case in assigning filenames.</p>
  
  <p>Is there a way to handle this on the Linux side in Python, i.e. can I get a case-insensitive, glob-like behaviour? </p>