More: [1.7] packaging problem? Both /usr/bin/ and /usr/lib/ are non-empty

[Earnie Boyd]

Quoting Christopher Faylor <cgf-use-the-mailinglist-please@cygwin.com>:

> We could add a "force" option to the "/" option
> in /etc/fstab if we wanted to override the default behavior.
>

Isn't that just asking the users to send you support requests?  There  
should be no method to change the root device.  Too much depends on  
the value of / being sane and the only sanity is the parent directory  
of the directory containing the dll being root.  There have been zero  
complaints from users wanting/needing to change where / is mounted.

--
Earnie