:: Re: [DNG] /usr to merge or not to m…
Página superior
Eliminar este mensaje
Responder a este mensaje
Autor: Rick Moen
Fecha:  
A: dng
Asunto: 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