[code] [textadept] Filename variants/canonical filenames

From: Chris Emerson <c-ta.att.mail.nosreme.org>
Date: Wed, 6 Nov 2013 10:12:51 +0000

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?

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 - 05:12:51 EST

This archive was generated by hypermail 2.2.0 : Wed 06 Nov 2013 - 06:32:23 EST