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

From: Chris Emerson <c-ta.att.mail.nosreme.org>
Date: Wed, 6 Nov 2013 16:20:23 +0000

Hi Mitchell,

On Wed, Nov 06, 2013 at 11:10:18AM -0500, Mitchell wrote:
> On Wed, 6 Nov 2013, Chris Emerson wrote:
> >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.

I can reproduce the above just by typing those names into the file open
dialog. In my real use case the filenames come out of the tags file or
a recursive grep, etc. and are passed directly to io.open_file().

Regards,

Chris

-- 
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:20:23 EST

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