Convert Windows paths to Linux style paths

[Paul Moore]

On Wed, 13 Mar 2019 at 08:13, eryk sun <eryksun at gmail.com> wrote:
>
> On 3/12/19, Paul Moore <p.f.moore at gmail.com> wrote:
> >
> > Do you care about case sensitivity (for example, is it important to you
> > whether filenames "foo" and "FOO" map to the same file or not on
> > Linux, given that they do on Windows)?
>
> That's no longer a given in Windows, since NTFS in Windows 10 supports
> case-sensitive directories that override the Windows API.

I know, but I thought my answer to the OP included enough complexities
for them to think about without going into this level of detail ;-)

But yes, "converting filenames" is a hard problem, unless you really
do just want a simple text based transformation.

Paul