J’étais un peu short en termes d’espace disque sur l’une de mes machines Virtualbox. J’ai donc entrepris d’augmenter la taille de ma machine virtuelle (*.vdi) et je me suis rendu compte que je n’avais jamais fait d’article à ce sujet. Pas grave, je vais réparer cette infamie. Alors, comment faire … (…)