:: Re: [DNG] /usr to merge or not to m…
Top Page
Delete this message
Reply to this message
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:

:r! ls -l /opt

lrwxrwxrwx 1 root root 14 Mar 4 2008 /opt -> /usr/local/opt