On 10/11/2011 04:32 PM, Marco d'Itri wrote: > I am still not 100% persuaded that this would be easy to do, but at > least I think that it has more merit than the old "move all to /"...
i'd rather see a /$foo and /usr/$foo merger to /system/$foo, so we can have the trichotomy /system, /local and /home. -- Address: Daniel Baumann, Donnerbuehlweg 3, CH-3012 Bern Email: [email protected] Internet: http://people.progress-technologies.net/~daniel.baumann/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

