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
