Voilà un aide mémoire pour l’installation d’une machine virtuelle sous virtualbox.

Il faut d’abord récupérer un système à installer : ici, on va installer une distribution Debian 64 bits :

$ wget http://cdimage.debian.org/cdimage/daily-builds/daily/arch-latest/amd64/iso-cd/debian-testing-amd64-netinst.iso

Création de la machine

Lancer virtualbox et faire Machine/New : un assistant s’ouvre et demande :

de nommer la machine
de choisir le type d’OS (ici : Linux)
de choisir la version (ici : Debian (64 bits)).

On peut garder tous les autres choix par défaut, et en quelques instants, on a une nouvelle machine virtuelle.

Installation de base

Quand on lance la nouvelle machine créé ci-dessus, un autre assistant s’ouvre et, après un écran d’accueil, il demande la source du média : il faut lui désigner l’image debian-testing-amd64-netinst.iso récupérée plus haut, et démarrer l’installation.

Après, cela se passe comme une installation normale : ici, on choisit une installation graphique, puis :

installation en français (langue, localisation, clavier),
nommer la machine,
pas de nom de domaine,
choisir un mot de passe root, un nom d’utilisateur et son mot de passe,
garder tous les choix par défaut et partitionner :
- Faut-il appliquer les changements sur les disques ? oui
attendre un moment qu’il installe tout ce qu’il faut…
choisir le miroir : on peut garder les choix par défaut,
pas besoin de proxy,
attendre un moment qu’il installe tout ce qu’il faut…

Ici, on fait une installation minimale, et on ne choisit donc pas de logiciels supplémentaires : on installera ce qu’on veut par la suite.

Reste ensuite à installer grub :

sur le secteur d'amorçage : oui
périphérique : attention, le défaut est de faire un choix manuel, mais choisir plutôt l’autre (/dev/sda).

A la fin de l’installation, la machine reboot toute seule : et voilà !

On peut se connecter avec le nom de l’utilisateur choisit plus haut (ici : user) et continuer la procédure.

Paquets complémentaires

Généralement, je commence par déclarer l’utilisateur comme sudoer :

$ su
# apt-get install sudo
# adduser user sudo

Il faut se déconnecter pour que ça soit pris en compte.

Puis, j’installe :

$ sudo apt-get install vim xfce4

Je ne m’embête généralement à démarrer automatiquement le serveur X automatiquement (on peut utiliser gdm par exemple). Je le fais donc à la main :

$ startx

Il peut être intéressant de sauver l'état de la machine à cette étape pour pouvoir y revenir par la suite.

Le reste de l’installation dépend de ce qu’on veut faire (voir par exemple l’installation de frama-c.

Ajout de fonctionnalités

Installation des ‘Additions’

Si on veut ajouter des fonctionnalités à VirtualBox, comme le partage de dossiers ou de la souris, il faut installer :

$ sudo apt-get install dkms bzip2
$ apt-cache search linux-header | grep ``uname -r``
$ sudo apt-get install linux-header-<numero ci-dessus>

ou plus simplement :

$ sudo apt-get install dkms  build-essential

Puis dans le menu lancer : Périphériques/Installer les additions.... Parfois, le disque correspondant apparaît directement sur le bureau, et sinon, faire :

$ sudo mount /dev/cdrom /media/cdrom

et parfois, il faut redémarrer la machine… Quoiqu’il en soit, il faut double-clicker dessus pour le monter, puis :

$ cd /media/cdrom
$ sudo sh ./VBoxLinuxAdditions.run

Attention à bien lire les message pour voir si tout se passe bien ! Sur certaines distribution (debian-7.1.0-amd64 par exemple) VBoxGuestAdditions est déjà installé : il faut alors abandonner la nouvelle installation.

ATTENTION : la manip ci-dessus fonctionne pour certaines installations, mais il semble que ça ne fonctionne pas toujours (debian testing…) Ce qui suit ne fonctionnera donc pas tant que les Additions ne seront pas correctement installées.

Éteindre la machine.

Répertoire partagé

Si on veut un répertoire partagé, il faut aller dans la fenêtre d’administration de virtualbox et le désigner dans //Dossiers partagés//. On ajoute un dossier permanent avec montage automatique.

Le dossier partagé apparaît dans /media/sf_shared, mais pour y accéder, il faut faire :

$ sudo adduser user vboxsf

(il faut se déconnecter pour que ça soit pris en compte)

Si ça ne fonctionne pas , essayer de ne pas demander le montage automatique, et faire :

$ sudo mkdir /media/sf_shared
$ sudo mount   -t   vboxsf   VBshared /media/sf_Shared

Partage de souris

Attention : ce n’est pas le buffer de la souris qui est partagé, mais le presse-papier. Par exemple, entre deux xfce4-terminal, on peut copier-coller avec le popup-menu.

Virtualbox