Re: cygwin 1.7: why there is a directory E/cygwin/dev in the tree of cygwin ?

[Cliff Hones <cliff at hones dot org dot uk>]

Eric Blake wrote:
> On 03/17/2010 02:19 AM, rolandc wrote:
>> I do not understand why the postinstall script bash.sh is so complex
>>
>>     DEVDIR="$(cygpath -au "C:/$(cygpath -am /dev/)" | sed 's|/c/\(.\):/|/\1/|')"
>>     mkdir -p "$DEVDIR" || result=1
>>
>> it would be simple (too simple?) to
>>     mkdir -p /dev || result=1
> 
> Yes, it would be too simple.  /dev already exists, so the mkdir would
> fail to do anything useful.  We REALLY want to create the underlying
> Windows directory at the same location at where /dev would be mounted,
> and to do that, we really do want to know the windows location (drive
> letter and all) of /.  Then, by using mkdir of that fancy windows path
> that happens to live at the same place as where /dev normally resolves
> to, then we can guarantee that /dev/stdin gets created as an actual
> symlink in the windows heirarchy (since it does NOT resolve via the /dev
> magic mount point), and that tab-completion can see any contents placed
> into the windows counterpart directory.

Eric, are you sure bash post-install needs to bother to make /dev?
When this was raised last July, Corinna said:

 > What this postinstall script should do is just this:
 >
 >  mkdir -p /dev || result=1
 >
 >  or to drop the mkdir entirely since the /dev/ dir has been already
 >  created by the 000-cygwin-post-install.sh script.

-- Cliff

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple