Author: Rick Moen Date: To: dng Subject: Re: [DNG] /usr to merge or not to merge... that is the question
Quoting Didier Kryn (kryn@???):
> /home should
> definitely be separated and well protected (RAID where possible,
> backups), /usr/local (or /local) may as well, /opt also,since Debian
> does not use it.
Here's my idea for how best to deal with the problem of /opt: