there is no harm in keeping it around for now,
Glad to hear it. That wasn't clear to me.
and when the time comes,
I don't think the time will ever come.
Although I can believe that our own packages could be compiled to avoid
/usr without an impossible amount of difficulty, this does not take
account of users' own scripts and programs. Essentially all of which
depend on /usr, since it has been around since day 1 of Unix. It would
not be good for GNU if users could not run their longstanding scripts
and processes without having to "port" it -- very frustrating waste of
time. (All the POSIX madness has caused similar frustrations, but no
/usr at all would be another whole level of agony.)
Thanks,
k
_______________________________________________
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd
