On May 5, 10:24 pm, "Gabriel Genellina" <gagsl-... at yahoo.com.ar> wrote: > I use this function on Windows to obtain the true case name of a file: very nice. I think the python bindings to the gnome GIO library *might* provide what I need on the linux side.