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: daniel.baum...@progress-technologies.net Internet: http://people.progress-technologies.net/~daniel.baumann/ -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4e955092.6090...@progress-technologies.net