:: Re: [DNG] /usr to merge or not to m…
Page principale
Supprimer ce message
Répondre à ce message
Auteur: Rick Moen
Date:  
À: dng
Sujet: 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