Re: [code] [textadept] Filename variants/canonical filenames

From: Mitchell <m.att.foicica.com>
Date: Wed, 6 Nov 2013 11:10:18 -0500 (Eastern Standard Time)

Hi Chris,

On Wed, 6 Nov 2013, Chris Emerson wrote:

> Hi,
>
> I often seem to end up with the same file open in different buffers with
> different names, for example:
>
> dir/foo.txt
> ./dir/foo.txt
> /home/chris/dir/foo.txt
> dir//foo.txt
>
> Would it be reasonable for io.open_file() to catch these?

It tries to, but appears to fall short in the cases you describe. If you
can reproduce those bugs, I'll try and fix them.

Cheers,
Mitchell

-- 
You are subscribed to code.att.foicica.com.
To change subscription settings, send an e-mail to code+help.att.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
Received on Wed 06 Nov 2013 - 11:10:18 EST

This archive was generated by hypermail 2.2.0 : Thu 07 Nov 2013 - 06:42:13 EST