From: Nima Azarbayjany on
Thanks all. I moved /opt to /usr/local/opt and then used the obvious
solution of symlinks (as suggested by Eduardo) to point /opt to
/usr/local/opt and it worked! By the way, I'm the only user of this
machine and that should not cause any problems.

Nima :)


--
To UNSUBSCRIBE, email to debian-user-REQUEST(a)lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster(a)lists.debian.org
First  |  Prev  | 
Pages: 1 2
Prev: ttyUSB0 and GPS
Next: hp-deskjet-6122 printer and cups