Il arrive couramment qu’on s’attache à une machine virtuelle sous GNU/Linux et qu’on s’en serve bien au delà de ce pour pourquoi elle avait été crée. Et souvent on n’avait pas prévu assez d’espace sur le disque virtuel associé à la machine. Pas de problème avec la commande : VBoxManage modifyhd FILENAME —resize 16000 où FILENAME est un chemin absolu vers le fichier stockant ce disque virtuel, on pourra augmenter à 16000 Mo (par exemple), la capacité de ce disque. Comme en général ces disques sont à taille (...)
Pierre Boudes
Bienvenue sur ma page web professionnelle. Je m’appelle Pierre Boudes. Titulaire d’un doctorat de mathématiques obtenu en 2002, je suis maître de conférences en informatique à l’université Paris 13, depuis septembre 2005.
Plus précisément, je suis :
– chercheur en théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030.
– enseignant (et parfois semi-administratif) à l’institut Galilée.
Habituellement, je réponds dans la journée ou le lendemain aux courriels adressés à : boudes@univ-paris13.fr. Vous pouvez également me contacter par d’autres moyens.
J’ai réduit ma présence sur le Fediverse à deux comptes Mastodon :
– professionnel
– personnel.