How to resize a .vmdk disk file with VirtualBox from the command line, with the necessary precautions before any operation.