Quoting Didier Kryn (k...@in2p3.fr):

> /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
_______________________________________________
Dng mailing list
Dng@lists.dyne.org
https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng

Reply via email to