Date: Sun, 30 Jun 2002 09:31:40 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: sandmann AT clio DOT rice DOT edu
cc: djgpp-workers AT delorie DOT com
Subject: Re: Using /dev/ as a real path
In-Reply-To: <10206300423.AA19473@clio.rice.edu>
Message-ID: <Pine.SUN.3.91.1020630092853.18374I-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Reply-To: djgpp-workers AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp-workers AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk


On Sat, 29 Jun 2002 sandmann AT clio DOT rice DOT edu wrote:

> Is there a reason to strip /dev/ from the start of the string if we don't
> recognize the device type?

The reason is that there are no limitations on the names of DOS devices.  
Any device driver can install a device with up to 8 upper-case letters, 
and plug it into the DOS device chain.  We want to be able to support 
/dev/foo if there's a device called FOO, and we don't want to limit that 
to the names of standard devices like PRN and AUX.