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-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to