Vou tentar responder-lhe a questão um por um:
Does it make sense to put a folder e.g. /opt/vm and try to put the vdi files there? I assume that Virtualbox will run with my normal user permissions and thus won't be able to write there anyways.
Eu diria que faz mais sentido colocar as máquinas virtuais em sua pasta pessoal, já que a máquina virtual é um dado associado ao seu usuário e configurar seu programa de backup para excluir esse diretório. Mas não há problema em configurar algum outro diretório, como /opt/vm
e definir seu usuário como o proprietário desse diretório. A única coisa em que posso pensar é se o SELinux ou algo assim tentaria interferir, mas isso parece muito improvável.
Does giving such a folder 777 permissions solve the problem? My feeling is that the writing bit would be OK, but I am worried that this might cause more trouble later on.
Uma solução melhor seria alterar o proprietário desse diretório:
posdef@linux$ sudo mkdir -p /opt/vm
posdef@linux$ sudo chown -R posdef:posdef /opt/vm
Mas /opt
é mais destinado a aplicativos e assim por diante, então acho que faria mais sentido criar uma pasta como /data/vm/
e usá-la. Mas isso é totalmente estético.
If the above scheme is really error-prone, what options do I have? It would be a pity to leave /opt as is (120 GB) only to create another partition. I could,in theory, resize /opt/ and create another partition /vm, right?
Não há nenhum problema real com sua configuração, mais do que pode ser um pouco incomum. Acho que uma solução melhor seria configurar seu programa de backup para excluir algumas pastas que você sabe conter muitos dados. Então, isso parece um pouco como uma solução complicada para um problema não tão complicado. E não há necessidade de criar novas partições, você pode apenas alterar o ponto de montagem de sua partição de /opt/vm
para outra coisa. /opt
não é a partição, é apenas o ponto de montagem. Você pode configurar isso em /etc/fstab
ou talvez em algum aplicativo de GUI (eu mesmo não usei o mint).