:: Re: [DNG] /usr to merge or not to m…
トップ ページ
このメッセージを削除
このメッセージに返信
著者: Rick Moen
日付:  
To: dng
題目: 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