En cherchant sur le web une procédure "officielle", d'installation de VirtualBox, pour un poste de travail Debian
, on tombe rapidement sur les pages ci-dessous :
On peut lire de cette source officielle, qu'il faut (au Jeudi 16 Août 2018) configurer un repository particulier, pour procéder à l'installation de virtualbox par le package manager apt. Ce repository est un repository dit de "back-ports" au sens de Debian
:
Le repository de backport à utiliser est maintenu par Oracle, [http://download.virtualbox.org/virtualbox/debian
], à configurer selon la procédure standard d'ajout de repo de backports :
Add backports to your sources.list
For jessie add this line
deb http://ftp.debian.org/debian jessie-backports main
to your sources.list (or add a new file with the ".list" extension to /etc/apt/sources.list.d/) You can also find a list of other mirrors at https://www.debian.org/mirror/list
For stretch add this line
deb http://ftp.debian.org/debian stretch-backports main
to your sources.list (or add a new file with the ".list" extension to /etc/apt/sources.list.d/) You can also find a list of other mirrors at https://www.debian.org/mirror/list
Run apt-get update
back-ports
debian maintenu parOracle
Cette installation est documentée sur le site offciel Debian, à la page https://wiki.debian.org/VirtualBox .
export FICHIER_CONF=/etc/apt/sources.list.d/stretch-backports-repo.list
export FICHIER_TEMP=$HOME/etc.apt.sources.list.d.stretch-backports-repo.list
rm -f $FICHIER_TEMP
touch $FICHIER_TEMP
echo "deb http://download.virtualbox.org/virtualbox/debian stretch contrib" >> $FICHIER_TEMP
sudo rm -f $FICHIER_CONF
sudo cp -f $FICHIER_TEMP $FICHIER_CONF
# rétablissement des droits de propriété du système
sudo chmod a-r $FICHIER_CONF
sudo chmod a-x $FICHIER_CONF
sudo chmod a-w $FICHIER_CONF
sudo chmod o+r $FICHIER_CONF
sudo chmod o+w $FICHIER_CONF
sudo chown root:root $FICHIER_CONF
# Enfin, il faut ajouter la clé GPG du repository Oracle de distribution de virtualbox
wget https://www.virtualbox.org/download/oracle_vbox_2016.asc
sudo apt-key add oracle_vbox_2016.asc
# On met à jour notre package mamanger système, et on va fouiller dans le repository Oracle, pour afficher les versions disponibles de virtualbox
sudo apt-get update -y
sudo apt-cache search virtualbox*
# puis installation virtualbox
sudo apt-get install -y virtualbox
Dans cette recette, la sécurisation du repository Debian repose sur une clé PGP
téléchargée, à savoir oracle_vbox_2016.asc
( https://www.virtualbox.org/download/oracle_vbox_2016.asc )
Ceci me pose le problème de sécurité suivant :
On remarque :
Debian
nous idique de télécharger la clé de repository Oracle, oracle_vbox_2016.asc, à l'URI http://download.virtualbox.org/virtualbox/debianoracle_vbox_2016.asc
est bien présent sur l'emplacement serveur http://download.virtualbox.org/virtualbox/debian .MD5SUMS
etSHA256SUMS
, et ces fichiers de comme contiennent une somme de contrôle pour le fichier oracle_vbox_2016.asc
: wget http://download.virtualbox.org/virtualbox/debian/MD5SUMS
wget http://download.virtualbox.org/virtualbox/debian/SHA256SUMS
cat MD5SUMS|grep oracle_vbox_2016.asc
cat SHA256SUMS|grep oracle_vbox_2016.asc
donne :
jibl@poste-devops-jbl-16gbram:~/IAAS/virtualbox/garage$ cat MD5SUMS|grep oracle_vbox_2016.asc
35eac5b13a7c055578d33115b1864740 *oracle_vbox_2016.asc
jibl@poste-devops-jbl-16gbram:~/IAAS/virtualbox/garage$ cat SHA256SUMS|grep oracle_vbox_2016.asc
49e6801d45f6536232c11be6cdb43fa8e0198538d29d1075a7e10165e1fbafe2 *oracle_vbox_2016.asc
jibl@poste-devops-jbl-16gbram:~/IAAS/virtualbox/garage$
apt-key add
:export NOM_CLE_SECURISATION_REPO_ORACLE_VBOX_DEBIAN_9=oracle_vbox_2016.asc
wget http://download.virtualbox.org/virtualbox/debian/$NOM_CLE_SECURISATION_REPO_ORACLE_VBOX_DEBIAN_9
wget http://download.virtualbox.org/virtualbox/debian/MD5SUMS
wget http://download.virtualbox.org/virtualbox/debian/SHA256SUMS
echo "Vérfication de la somme 'SHA2' de contrôle de la clé [$NOM_CLE_SECURISATION_REPO_ORACLE_VBOX_DEBIAN_9] de sécurisation du repostory de cbackports debian / virtualbox maintenu par Oracle [http://download.virtualbox.org/virtualbox/debian] "
rm -f masomme.sha512sum
cat SHA256SUMS|grep "$NOM_CLE_SECURISATION_REPO_ORACLE_VBOX_DEBIAN_9" >> masomme.sha512sum
sha256sum -c masomme.sha512sum || echo "Le fichier téléchargé [$NOM_CLE_SECURISATION_REPO_ORACLE_VBOX_DEBIAN_9] a été corrompu, il ne correspond pas à la somme de contrôle 'SHA2' fournie par Oracle : [$(cat masomme.sha512sum)] " && exit 1
echo "Vérfication de la somme 'MD5' de contrôle de la clé [$NOM_CLE_SECURISATION_REPO_ORACLE_VBOX_DEBIAN_9] de sécurisation du repostory de cbackports debian / virtualbox maintenu par Oracle [http://download.virtualbox.org/virtualbox/debian] "
rm -f masomme.md5sum
cat MD5SUMS|grep "$NOM_CLE_SECURISATION_REPO_ORACLE_VBOX_DEBIAN_9" >> masomme.md5sum
sha256sum -c masomme.md5sum || echo "Le fichier téléchargé [$NOM_CLE_SECURISATION_REPO_ORACLE_VBOX_DEBIAN_9] a été corrompu, il ne correspond pas à la somme de contrôle 'MD5' fournie par Oracle : [$(cat masomme.md5sum)] " && exit 1
# Et maintenant que l'on s'est assuré que toutes les vérifications ont été menées avec tous les voyants au vert :
sudo apt-key add oracle_vbox_2016.asc
Enfin, toujours à l'URI de la racine du repo de backport debian maintenu par Oracle, j'ai trouvé deux autres clés PGP
, qu'il faut manifestement aussi vérifier et pour lesquelles il faut configurer le package manager avec apt-key add $NOM_FICHIER_CLE_PGP.asc
:
oracle_vbox.asc
: http://download.virtualbox.org/virtualbox/debian/oracle_vbox.ascsun_vbox.asc
: http://download.virtualbox.org/virtualbox/debian/sun_vbox.ascPourquoi 3 signatures PGP
à la racine du même repo ?
Je veux ici noter de plus, que sur le site officiel de VirtualBox
, on trouve les liens de téléchargement de tous les binaires distribués par Oracle
, ainsi que les checksum
correspondant. Si bien qu'il est aussi possible d'installer virtualbox de la manière suivante :
#!/bin/bash
# télécharger le fichier *.deb d'installation de virtualbox sous debian stretch
# J'ai trouvé ces 3 URI de téléchargement, en allant sur le site officiel de virutalbox, au menu "dowloads", i.e.
# https://www.virtualbox.org/wiki/Linux_Downloads
export URI_TELECHARGEMENT_PACKAGE_VBOX_DEBIAN=https://download.virtualbox.org/virtualbox/6.0.4/virtualbox-6.0_6.0.4-128413~Debian~stretch_amd64.deb
export NOM_FICHIER_DEB_INSTALLATION_VBOX=virtualbox-6.0_6.0.4-128413~Debian~stretch_amd64.deb
export CHECKSUM_MD5=https://www.virtualbox.org/download/hashes/6.0.4/MD5SUMS
export CHECKSUM_SHA2=https://www.virtualbox.org/download/hashes/6.0.4/SHA256SUMS
mkdir ./provision_virtual_box/
cd ./provision_virtual_box/
wget $URI_TELECHARGEMENT_PACKAGE_VBOX_DEBIAN
wget $CHECKSUM_MD5
wget $CHECKSUM_SHA2
echo "Vérfication des sommes de contrôle des fichiers téléchargés"
rm -f masomme.sha512sum
cat SHA256SUMS|grep *~Debian~stretch_amd64.deb >> masomme.sha512sum
sha256sum -c masomme.sha512sum || echo "Le fichier téléchargé [$NOM_FICHIER_DEB_INSTALLATION_VBOX] a été corrompu, il ne correspond pas à la somme de contrôle fournie par Oracle : [$(cat masomme.sha512sum)] " && exit 1
rm -f masomme.md5sum
cat MD5SUMS|grep *~Debian~stretch_amd64.deb >> masomme.md5sum
md5sum -c masomme.md5sum || echo "Le fichier téléchargé [$NOM_FICHIER_DEB_INSTALLATION_VBOX] a été corrompu, il ne correspond pas à la somme de contrôle fournie par Oracle : [$(cat masomme.md5sum)] "
# L'exécution du processus d'installation `sudo dpkg -i ./$NOM_FICHIER_DEB_INSTALLATION_VBOX` log une indication :
#
# > There were problems setting up VirtualBox. To re-start the set-up process, run
# > /sbin/vboxconfig
# > as root.
#
# De plus, lorsque l'on exécute :
# [sudo /sbin/vboxconfig]
# On obtient un certain nombre de messages d'erreurs, ainsi que la suggestion pour les résoudre : des dépendances de l'exécutable [/sbin/vboxconfig] manquent à l'appel. Il faut donc installer ces exécutables avant de ré-essayer d'exécuter [sbin/vboxconfig] :
sudo apt-get install -y linux-headers-amd64 linux-headers-4.9.0-7-amd64 gcc make perl
# Maintenant, on peut ré-essayer d'exécuter [/sbin/vboxconfig]
# sudo /sbin/vboxconfig
# Exécution de l'installation du package debian : l'intégrité du package a été doublement vérifiée.
sudo dpkg -i ./$NOM_FICHIER_DEB_INSTALLATION_VBOX
echo "Et bingo, nous sommes bons : lees dépendances du processus exécutant la commande [sudodpkg -i ./$NOM_FICHIER_DEB_INSTALLATION_VBOX] ont toutes été correctement installées, "
echo "Notons : l'idéal sera, pour une recette de \"production\", d'installer ces dépendances avant même l'exécuation [dpkg -i \$NOM_FICHIER_PACKAGE_LINUX_DEBIAN]"
# Nous veneons d'installer un package debian (virutalbox), "manuellement", i.e. avec 'dpkg -i ....' :
# Il peut lui manquer des dépendances.
# `apt-get` a la capacité de résoudre ces dépendances automatiquement, avec la commande :
sudo apt-get -f install
sudo dpkg -i ./$NOM_FICHIER_DEB_INSTALLATION_VBOX
Lorsque l'on exécute la commande sudo dpkg -i ./$NOM_FICHIER_DEB_INSTALLATION_VBOX
, sans avoir exécuté avant la commande :
sudo apt-get install -y linux-headers-amd64 linux-headers-4.9.0-7-amd64 gcc make perl
On constate un arrêt de l'exécution avec ereur, et des logs. Dans ces logs, on note plusieurs éléments :
D'abord, les logs se terminent en mentionnant un problème, et qu'une fois réoslu le problème, il faudra ré-esayer d'exécuter "avec sudo
" la commande /sbin/vboxconfig
:
There were problems setting up VirtualBox. To re-start the set-up process, run
/sbin/vboxconfig
as root.
Donc, le processus exécutant la commande dpkg -i $NOM_DE_FICHIER
, a déjà essayé d'exécuter sudo /sbin/vboxconfig
, mais un problème est survenu.
Ensuite, on pourra noter que la procédure d'installation de virtualbox créée un groupe d'utilisateurs linux sur la machine debian : le groupe vboxusers
, qui est un groupe système.
addgroup: The group `vboxusers' already exists as a system group. Exiting.
De plus, on notera la définition de service SystemD
:
Created symlink /etc/systemd/system/multi-user.target.wants/vboxdrv.service → /lib/systemd/system/vboxdrv.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxballoonctrl-service.service → /lib/systemd/system/vboxballoonctrl-service.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxautostart-service.service → /lib/systemd/system/vboxautostart-service.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxweb-service.service → /lib/systemd/system/vboxweb-service.service.
Impliquant que plusieurs exécutables virtualbox seront démarrables en tant que service, vboxdrv
, vboxballoonctrl
, vboxautostart
, vboxweb
, et sont activables en tant que service, avec les commandes :
sudo systemctl enable vboxdrv
sudo systemctl enable vboxballoonctrl-service
sudo systemctl enable vboxautostart-service
sudo systemctl enable vboxweb-service
This system is currently not set up to build kernel modules.
Please install the gcc make perl packages from your distribution.
Please install the Linux kernel "header" files matching the current kernel
for adding new hardware support to the system.
The distribution packages containing the headers are probably:
linux-headers-amd64 linux-headers-4.9.0-7-amd64
This system is currently not set up to build kernel modules.
Please install the gcc make perl packages from your distribution.
Please install the Linux kernel "header" files matching the current kernel
for adding new hardware support to the system.
The distribution packages containing the headers are probably:
linux-headers-amd64 linux-headers-4.9.0-7-amd64
Ainsi, il semble que ce soient là les erreurs rencontrées, que nous devons résoudre, pour essayer à nouveau l'éxécution de sudo /sbin/vboxconfig
.
Mais ces mentions sont claires, il s'agit de dépendances à l'exécution de /sbin/vboxconfig
, que l'on peut installer de la manière suivante :
sudo apt-get install -y linux-headers-amd64 linux-headers-4.9.0-7-amd64 gcc make perl
Je remarque deux choses :
VirtualBox
.En conclusion, je pense que je suis là dans le cas typique pour lequel il serait jsutifié que je me monte moi-même mes repositories apt-get
, apk
et yum
pour distribuer les paquets virutalbox les plus frais, tout en appliquant une politique de gestion de la sécurité aux contenu délivré par ce canal de distribution :
dpkg -i $NOM_FICHIER_LINUX_DEBIAN
: en isnallant virtualbox de cette manière, la commandes sudo apt-get update -y
et sudo apt-get upgrade -y
, n'impliqueront aucune mise à jour, ni aucune montée de verion de virtualbox, sur le poste-devops-typique
.Voir, pour la gestion des repositories apt-get
, apk
et yum
:
Redhat Satellite / Spacewalk
=> pour yum
/ CentOS
Pulp repository manager
=> pour apt-get
, apk
/ Ubuntu
, Debian
, Alpine
Lorsque l'on a analysé la procédure d'installaiton de virtualbox, on a pu remarquer la mention de 4 exécutables utilisables en tant que services de l'OS DEbian Stretch :
vboxdrv
: il s'agit du Linux Kernel Module
de VirtualBox
, c'est à dire son composant principal (ce qui lui permet de faire de la virtualisation). Extrait de sudo cat /usr/lib/virtualbox/vboxdrv.sh|more
:# Oracle VM VirtualBox
# Linux kernel module init script
#
# Copyright (C) 2006-2019 Oracle Corporation
#
# This file is part of VirtualBox Open Source Edition (OSE), as
# available from http://www.virtualbox.org. This file is free software;
# you can redistribute it and/or modify it under the terms of the GNU
# General Public License (GPL) as published by the Free Software
# Foundation, in version 2 as it comes in the "COPYING" file of the
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
#
# chkconfig: 345 20 80
# description: VirtualBox Linux kernel module
#
### BEGIN INIT INFO
# Provides: vboxdrv
# Required-Start: $syslog
# Required-Stop:
# Default-Start: 2 3 4 5
# Default-Stop: 0 1 6
# Short-Description: VirtualBox Linux kernel module
### END INIT INFO
vboxballoonctrl-service
: j'ai trouvé https://www.virtualbox.org/manual/ch09.html#vboxwatchdog il semblerait que le remplaçant en cours du ballon controller
soit devenu un certain watchdog
vboxautostart-service
: Ce service permet de démarrer les VM choisies, au démarrage de l'OS de l'hôte de virtualisation (la machine sur laquelle est intallé virutalbox), et réciproquement, d'arrêter (correctement) l'exécution de VMs, avec l'arrêt (correct) de l'OS de l'hôte de virtualisation. cf. https://pgaskin.net/linux-tips/configuring-virtualbox-autostart/ .vboxweb-service
: est lié au composant vboxwebsrv
, comme le montre le script vboxweb-service.sh
qui permet de contrôle VirtualBox
à distance, via une (pseudo) REST API. cf. https://www.virtualbox.org/manual/ch09.html#vboxwebsrv-daemonJe cite la documentation officielle de VirtualBox
, version 6.0.4
, dite [VirtualBox Programming Guide And References
[(http://download.virtualbox.org/virtualbox/SDKRef.pdf) :
VirtualBox comes with a web service that maps nearly the entire Main API. The web service ships in a standalone executable (
vboxwebsrv
) that, when running, acts as an HTTP server, acceptsSOAP
connections and processes them.
Il est possible de customiser l'autyhentification qui est faite auprès du serveur hébergeant le endpoint SAOP, à savoir vboxwebsrv
, grâce à une indication donnée dans le Programming guide
:
The IWebsessionManager::logon() API takes a user name and a password as arguments, which the web service then passes to a customizable authentication plugin that performs the actual authentication. For testing purposes, it is recommended that you first disable authentication with this com- mand :
VBoxManage setproperty websrvauthlibrary null
Donc, l'implémentation que je dois gfournir doit certainement être la fameuse websrvauthlibrary
Comment configurer username
et password
pour le serveur vboxwebsrv
?
Comment configurer une VM pour qu'elle démarre avec l'hôte de vritualisation VirtualBox
? https://pgaskin.net/linux-tips/configuring-virtualbox-autostart/
comment développer un module d'authentication pour : https://download.virtualbox.org/virtualbox/4.1.20/SDKRef.pdf#subsection.5.105.3
VBoxManage setproperty websrvauthlibrary mon-module-d-authentification-custom
Il faut juste fixer des varaibles d'envrionnement, et utiliser éventuellement des options d'invocation d'exécutable GNU
:
où retrouver ce tableau pour le terminer : https://www.virtualbox.org/manual/ch09.html#vboxwebsrv-daemon
Parameter | Description | default |
---|---|---|
USER |
ccc | ccc |
HOST |
ccc | ccc |
PORT |
ccc | ccc |
SSL_KEYFILE |
ccc | ...? |
SSL_PASSWORDFILE |
ccc | ...? |
SSL_CACERT |
ccc | ...? |
SSL_CAPATH |
CA certificate path | ...? |
SSL_DHFILE |
DH file name or DH key length in bits | ...? |
SSL_RANDFILE |
File containing seed for random number generator | ...? |
TIMEOUT |
Session timeout in seconds, 0 disables timeouts | 300 |
CHECK_INTERVAL |
Frequency of timeout checks in seconds | 5 |
THREADS |
Maximum number of worker threads to run in parallel | 100 |
KEEPALIVE |
Maximum number of requests before a socket will be closed | 100 |
ROTATE |
Number of log files, 0 disables log rotation | 10 |
LOGSIZE |
Maximum log file size to trigger rotation, in bytes | 1MB |
LOGINTERVAL |
Maximum time interval to trigger log rotation, in seconds | 1 day = 24 * 60 * 60 seconds |
Pour développer un tel module, je peux utiliser (c'est le seul espoir de toute façon, après, on entyre dans le core code de VirtualBox) le Virtual Box SDK
, notammant sa version en Java.
Il y a aussi la SOAP API
, mais ce qui me pose problème, c'est le module d'Authentification à la SOAP API. Pour le remplacer, je vais :
Un exemple de module externe d'authentification VirutalBOx, qui permet la mise en oeuvre de l'authentification LDAP
à la SOAP API (TODO: retrouver le code source + build from source, pour modification jusqu'à avoir OpenID Connect
au lieu de LDAP/SSSD
) :
https://nnc3.com/mags/LM10/Magazine/Archive/2010/118/018-020_Vbox/article.html
VirtuaBox suggère de lui-même le téléchargement des upgrades / updates, en poussant des notificatons :
# le fichier téléchargé
export FICHIER_UPGRADE_VBOX_DEB=virtualbox-6.0_6.0.6-130049~Debian~stretch_amd64.deb
sudo dpkg -i ./$FICHIER_UPGRADE_VBOX_DEB
ce qui donne lasortie standard :
jibl@poste-devops-jbl-16gbram:~/Downloads$ sudo dpkg -i virtualbox-6.0_6.0.6-130049~Debian~stretch_amd64.deb
(Reading database ... 190664 files and directories currently installed.)
Preparing to unpack virtualbox-6.0_6.0.6-130049~Debian~stretch_amd64.deb ...
Unpacking virtualbox-6.0 (6.0.6-130049~Debian~stretch) over (6.0.4-128413~Debian~stretch) ...
Setting up virtualbox-6.0 (6.0.6-130049~Debian~stretch) ...
addgroup: The group `vboxusers' already exists as a system group. Exiting.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxdrv.service → /lib/systemd/system/vboxdrv.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxballoonctrl-service.service → /lib/systemd/system/vboxballoonctrl-service.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxautostart-service.service → /lib/systemd/system/vboxautostart-service.service.
Created symlink /etc/systemd/system/multi-user.target.wants/vboxweb-service.service → /lib/systemd/system/vboxweb-service.service.
Processing triggers for systemd (232-25+deb9u11) ...
Processing triggers for gnome-menus (3.13.3-9) ...
Processing triggers for desktop-file-utils (0.23-1) ...
Processing triggers for mime-support (3.60) ...
Processing triggers for hicolor-icon-theme (0.15-1) ...
Processing triggers for shared-mime-info (1.8-1+deb9u1) ...
Unknown media type in type 'all/all'
Unknown media type in type 'all/allfiles'
jibl@poste-devops-jbl-16gbram:~/Downloads$
jibl@poste-devops-jbl-16gbram:~/Downloads$ sudo apt-get install -y
Reading package lists... Done
Building dependency tree
Reading state information... Done
0 upgraded, 0 newly installed, 0 to remove and 122 not upgraded.
jibl@poste-devops-jbl-16gbram:~/Downloads$ sudo apt-get update -y
Ign:1 http://ftp.fr.debian.org/debian stretch InRelease
Get:2 http://ftp.fr.debian.org/debian stretch-updates InRelease [91.0 kB]
Hit:3 http://security.debian.org/debian-security stretch/updates InRelease
Hit:4 http://ftp.fr.debian.org/debian stretch Release
Hit:6 https://packagecloud.io/AtomEditor/atom/any any InRelease
Fetched 91.0 kB in 1s (77.6 kB/s)
Reading package lists... Done
jibl@poste-devops-jbl-16gbram:~/Downloads$
VBoxManage
:wget https://download.virtualbox.org/virtualbox/6.0.6/Oracle_VM_VirtualBox_Extension_Pack-6.0.6.vbox-extpack
sudo VBoxManage extpack install --replace ./Oracle_VM_VirtualBox_Extension_Pack-6.0.6.vbox-extpack
Il est à noter que ces opérations d'upgrade / update, impliquent une remise aux valeurs par défaut de la configuration de VirtualBox. Pour effectuer correctement ces opérations, il faut donc aussi automatiser la provision de la configuratyion propre à l'environnement d'exploitation du logiciel. Das le point suivant, un screenshot réalisé juste après un upgrade / update virtualbox, montrant que le paramètre de configuration "Default Machine Folder" a Bel et bien été re-définit à sa valeur par défaut. Mieux, en faisant la recherche de fichiers visible dans le shell au second plan, je montre que ma configuration originale était le répertoire "Default Machine Folder=/home/jibl/IAAS/virtualbox/travail/poste-devops-typique/
" , et qu'ell ea été redéfinit à la valeur par défault "Default Machine Folder=/home/jibl/VirtualBox\ VMs/
"
Notamment, un problème peut apparaître, concernant un paramètre de confiugration de VirtualBox, appelé "Default Machine Folder" par la terminologie VirtualBox
, qui permet de spécifier le répertroire dans leqeul virtualbox persiste sous forme de fichiers ".vbox
" et autres fichiers de virtualisation, l'état des VMs :
=/home/jibl/IAAS/virtualbox/travail/poste-devops-typique/
"*.vmdk/*.ova
, déjà existant. détriure ensuite l'ancienne VM, cela produira une erreur souhaitable et logique, qui empêche de détruire le disque dur associé.