On Wed, May 06, 2009 at 09:36:56PM +0200, Iustin Pop wrote: > > - We decide that if you want to mount /usr remotely you are on your > > own. > > > > If we do so, we should stop using "mount /usr remotely" as an > > argument for keeping /usr as a single filesystem. > What about the (many) arguments made here about the *other* reasons to > have /usr a separate filesystem? I've nothing against them, I was countering only this precise argument. FWIW, I haven't seen that many, though the one about read-only /usr was appropriate. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
Attachment:
signature.asc
Description: Digital signature