device names tidbit

[Parker, Ron]

Just curious what MS tools you are referring to.  The command line tools
handle it just fine using the prefix.  This includes attrib, del, file
redirection and others.  It is only the shell, Explorer, that I recall
choking when you try to delete these files.  I have seen a number of
applications create filenames that Explorer could not delete.

-----Original Message-----
From: Chris Faylor [ mailto:cgf@cygnus.com ]
Sent: Friday, January 07, 2000 4:33 PM
To: DJ Delorie
Cc: cygwin-developers@sourceware.cygnus.com
Subject: Re: device names tidbit


On Fri, Jan 07, 2000 at 04:28:59PM -0500, DJ Delorie wrote:
>
>I just ran across this in MSDN.  I wonder if we should use this trick
>to be able to create/delete otherwise "reserved" names?

Yeah, I knew about this.  I am leery of introducing something into the
filesystem which can't be manipulated by normal Microsoft tools.

Maybe it's a configuration option candidate?

cgf