¿Cómo cambiar el tamaño de un disco VirtualBox (.vdi)?

A más de uno nos ha pasado que, con el tiempo, el tamaño que elegimos para nuestro disco de VirtualBox (con extensión .vdi) acabó quedándose pequeño.

Puen bien, la forma de cambiar el tamaño virtual de un disco .vdi de VirtualBox no podía ser más sencilla.

En Linux, sólo tenemos que abrir una consola y escribir la siguiente línea de comando:

sudo VBoxManage modifyhd [disco.vdi] --resize [nuevo tamaño en MB]

… sustituyendo el nombre del fichero .vdi y el nuevo tamaño en MB por lo que corresponda en cada caso.

¿A que es sencillo?

Por cierto, para los usuarios de Windows es igual de fácil, sólo que tienen que abrir la línea de comandos de este sistema (cmd) y buscar el correspondiente ejecutable VBoxManage.exe y darle los mismos parámetros.