/ partition keeps filling up. To mitigate this, I'd like to move
/opt to a different directory,
/usr/local/foo, which is mounted to a different partition.
How do I do this safely? If I simply move
/usr/local/foo/opt then create a link of some sort from
/opt --> /usr/local/foo/opt, will all the permissions, bits, etc. be correctly set up?
I'm using Ubuntu.