This is the mail archive of the
cygwin
mailing list for the Cygwin project.
Re: cygwin 1.7: why there is a directory E/cygwin/dev in the tree of cygwin ?
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