1. Votre Compte

1.1. J’ai une erreur “Disque plein”, ERR_DISK_FULL, …

La limite de votre quota est atteinte. Pour le vérifier faire

$ quota -s

La première colonne est la taille de votre compte, la troisième votre quota. Il faut donc supprimer des fichiers. Vous pouvez supprimer notamment :

• .kde/share/apps/nepomuk,
• .local/share/apps/akonadi,
• vider le cache de votre navigateur,
• vider la corbeille.

Si votre compte a encore une taille imposante, vous pouvez regarder précisément ce qui prend de la place avec

$ du -hsc * |sort -h

1.2. J’ai pu lancer une VM mais pas la deuxième ?

Si vous avez pu lancer une VM mais pas d’autres ensuite, c’est peut-être parce qu’il n’y a pas assez d’espace disque en local dans /tmp.

Pour vérifier, faire

$ df -h

Vérifier que vous avez également bien configurer VirtualBox pour utiliser ce répertoire temporaire, non soumis au quota.

$ VBoxManage setproperty machinefolder "/tmp"

1.3. Virtualbox est tout cassé

L’erreur peut provenir du problème de quota précédent qui a rendu inutilisable votre configuration Virtualbox que vagrant utilise indirectement.

Recommencer à zéro en supprimant .config/VirtualBox/.

Sans oublier (voir aussi)

VBoxManage setproperty machinefolder "/tmp"

1.4. Je n’ai pas trouvé la réponse à mon problème de place

Faire un ticket sur l’ENT (rubrique FacilitAMU), en indiquant précisément votre salle, ainsi que votre numéro de machine, votre environnement. Donner toute les informations qui vous paraîtraient utiles :

• quelles sont les opérations que vous avez faites ?
• qu’est-ce que vous attendiez comme résultat ?
• qu’avez-vous obtenus à la place ?

Gardez en mémoire que si un incident n’est pas signalé, il ne sera pas résolu.

2. Machines Virtuelles

2.1. vagrant up ne marche pas

Bien vérifier

1. que la box est installée : vagrant box list
2. qu’il y a un fichier Vagrantfile dans le répertoire courant

2.2. vagrant up me dit que la machine est //already provisioned//, mais je ne la vois pas

Si vous copier un répertoire d’une VM pour créer une nouvelle VM, alors un répertoire caché qui contient les information virtualbox de la VM associée à ce répertoire est aussi copié. Il référence donc la même VM que l’autre répertoire, celle-ci est already provisioned.

La bonne méthode est de toujours créer une VM avec un nouveau répertoire (vide) dans lequel le Vagrantfile est ensuite copié.

2.3. La machine démarre puis disparait

Vérifier que vous avez bien, dans le Vagrantfile, virtualbox__intnet: "LANx" pour toutes les lignes de configuration réseaux (commençant par config.vm.network ...

2.4. Existe-t-il de la documentation ?

Il s’agit d’un logiciel dont la documentation est essentiellement en anglais. Voir aussi ce petit tutoriel si vous souhaitez aller plus loin. N’hésitez pas à partager les bons tutoriels en français que vous pourriez trouver.

2.5. Je reviens pour un nouveau TP et la machine virtuelle est “endommagée”

A chaque fois que vous changez de poste ou que vous le redémarrez, les machines virtuelles sont perdues (car stockées dans /tmp). Pour recommencer proprement, faire

$ vagrant destroy
$ rm -r .vagrant
$ rm ~/.vagrant.d/boxes/m1reseaux/0/virtualbox/master_id

avant de refaire

$ vagrant up

2.6. Je ne comprends toujours pas l’erreur

Utiliser virtualbox pour démarrer directement votre VM et ainsi voir des messages d’erreur plus détaillés.

3. Problèmes dans la VM

3.1. Le DNS ne fonctionne pas

Il semble que sur les machines les plus récentes la première requête DHCP soit trop rapide pour VirtualBox et le DNS n’est donc pas configuré.

La commande ci-dessous permet de renouveler la requête DHCP (ne pas tenir compte d’un éventuel message “Link exists”)

VM $ sudo dhclient eth0

4. Utiliser les box sur votre machine personnelle

4.1. Vous devez vérifier que votre processeur/BIOS supporte la virtualisation

Voir ici (en anglais). Vérifier également la quantité de RAM disponible (au moins 8Go) et de la place sur le disque (au moins 20 Go).

Notez que les principaux systèmes d’exploitation sont supportés (Windows, MacOSX, Linux).

4.2. Quelles versions des logiciels faut-il utiliser ?

vagrant

>= 2.2.6 Il peut être installé depuis le site de vagrant

virtualbox

>= 6.1 Dans votre distribution ou bien voir le site de VirtualBox.

4.3. La commande du TP ne fonctionne pas sur mon PC ?

Sur votre machine personnelle il suffit de faire

$ vagrant box add CHEMINBOX --name "m1reseaux"

où il faut indiquer avec CHEMINBOX le chemin vers la box que vous avez téléchargée puis de suivre les instructions habituelles.

NB Cela peut être plus simple sur votre PC (pas de quota, …) et notamment la commande VBoxManage n’est plus indispensable a priori.