Simo Sorce wrote: > On Thu, 2012-02-16 at 13:22 +0100, Jim Meyering wrote: ... >> Prior to F17, I've always put /usr on a partition separate from /. >> >> $ df -hT / /usr >> Filesystem Type Size Used Avail Use% Mounted on >> /dev/sda4 ext4 11G 7.3G 3.2G 70% / >> /dev/sda6 ext4 10G 7.3G 2.3G 77% /usr >> >> I know I'm special ;-), but *that* special? I doubt it. > > I guess it is time to change habits, what's the point of a separate /usr > these days ? I like to keep "/" very small, separate and mostly read-only, so that when something goes wrong with the disk it's less likely to affect the root partition, so I'm all for the implicit writable/read-only segregation this implies. /usrmove is a clear win. -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
