On Tue, Oct 19, 2010 at 10:38:13AM -0400, seth vidal wrote:
/opt is a location filled with vendor detritus on a lot of systems -
sometimes managed by rpms, sometimes not. It's not uncommon to have /opt
automounted via nfs. Additionally, on some workstastion systems /opt is
a separate drive managed by the 'local admin' of the machine and filled
with whatever 3rd party software they need for their instance.
/opt being network shared seems like a reasonable thing to support.
/usr is frequently given different mount options (like noatime, for
example) or mounted readonly to prevent unnecessary writes to the
system.
That doesn't require it to be a separate partition.
Additionally, since our software in fedora has a trickle down impact
on
users in rhel-land I think you'll find that this will have to be done,
eventually for them.
"We have to support it because users want it" is a poor argument. We
have to understand why people want it to be a separate partition and
then decide whether the simplest way (in terms of overall engineering
effort) to support those desires is by supporting it as a separate
partition. So far nobody's come up with a terribly plausible reason for
why /usr should be separate.
--
Matthew Garrett | mjg59(a)srcf.ucam.org