Failed to build vmmon/vmnet. Failed to execute the build command

A chaque mise-à-jour du noyau linux sur une machine physique, il faut recompiler les modules “Virtual Machine Monitor” (vmmon) et “Virtual Network Device” (vmnet). D’ailleurs, il en est de même pour une nouvelle installation.

Bien entendu, la compilation échoue à chaque mise-à-jour du noyau linux, sinon il n’y aurait pas autant d’articles qui traiterait le sujet.

Dans le fichier vmware-xxx.log, il n’y a rien de plus que ce qui est affiché dans le message d’erreur à l’écran.

2019-05-24T09:10:32.732+01:00| vthread-1| I125: Failed to find /lib/modules/5.0.0-15-generic/build/include/linux/version.h
2019-05-24T09:10:34.581+01:00| vthread-1| W115: Failed to build vmmon. Failed to execute the build command.
2019-05-24T09:10:35.986+01:00| vthread-1| W115: Failed to build vmnet. Failed to execute the build command.

 

La meilleur solution que j’ai trouvé, et qui marche à tout les coups – tant que le mainteneur du dépot git, mkubecek reste active – est de lancer un script tout préparer ci-dessous.

Récupérer la version de Workstation.

# vmware --version
VMware Workstation 14.1.7 build-12989993

 

Puis mettez à jour la version de Workstation dans le script.

#!/bin/bash
VMWARE_VERSION=workstation-14.1.7
TMP_FOLDER=/tmp/patch-vmware
rm -fdr $TMP_FOLDER
mkdir -p $TMP_FOLDER
cd $TMP_FOLDER
git clone https://github.com/mkubecek/vmware-host-modules.git
cd $TMP_FOLDER/vmware-host-modules
git checkout $VMWARE_VERSION
git fetch
make
sudo make install
sudo rm /usr/lib/vmware/lib/libz.so.1/libz.so.1
sudo ln -s /lib/x86_64-linux-gnu/libz.so.1 
/usr/lib/vmware/lib/libz.so.1/libz.so.1
sudo /etc/init.d/vmware restart

 

Sources

How To Install VMware Workstation Pro 14 on Ubuntu 18.04 / 17.10 & Ubuntu 16.04
Installing VMware on 18.04: Failed to build vmmon

Arc-theme et problème de couleur de la police d’écriture dans Firefox

Apparement, Firefox n’aime pas les thèmes « sombres » puisque depuis 2001, un bug sur le sujet a été rapporté et n’a jamais été corrigé depuis.

C’est un peu embêtant puisque la couleur de la police d’écriture se confond avec la couleur du fond d’écran. Vu que ce bug risque de ne pas être corrigé durant quelques années encore, j’ai du m’inspirer de ce blog pour avoir une trace du contournement proposée.

Pour information, l’installation du thème Arc dans Ubuntu se fait avec la commande

$ sudo apt install arc-theme

Et voici à quoi ressemble un thème sombre Arc.

 

Pour régler le problème de la couleur d’écriture,

  1. Dans la barre d’URL de Firefox, taper about:config
  2. Faites un click droit sur la page, puis ajouter une valeur String widget.content.gtk-theme-override
  3. Choisissez un thème GTK light comme valeur, par exemple Arc-Darker
  4. Redémarrer Firefox

Source

GTK Dark Theme and Firefox

Ré-installation Linux sur une seule partition tout en gardant les informations de /home

Un ami a eu un soucis avec Ubuntu. NetworkManager semble ne plus reconnaitre ni le wifi ni la connection filiaire, probablement à cause de la dernière mise-à-jour du noyaux.

Je vais m’en passer des détails, mais pour votre information, il utilise Ubuntu 14.04. Une tentative de mise-à-jour vers la version 16.04 en mode filaire ne s’est faite que partiellement.

La meilleure solution dans cette situation serait de réinstaller le système après avoir fait une copie de la partition /home. Pour mettre un peu de piquant dans l’histore /home et / font parties d’une seule et même partition. Vous comprenez bien qu’une réinstallation du système va effacer toutes les données de /home.

J’ai trouvé une astuce pour réinstaller le système en gardant les informations de /home.

Je ne le répète pas assez, mais avant d’essayer quoi que ce soit sur votre machine, faites des tests dans une machine virtuelle (voir Annexe). Celà vous coutera un peu de temps, certes. Mais en contrepartie, vous ne seriez pas surpris si quelque chose tourne mal.

La messe est dite, lançons dans l’aventure.

1. Essayer Ubuntu sans l’installer

Télécharger l’ISO avec la version d’Ubuntu qui vous intéresse. Dans mon cas, je vais rester sur une version LTS à la demande de mon ami.

Pour créer une clé USB bootable, sachant que cette clé se trouve sur la partition /dev/sdb, lancer les commandes suivantes.

$ sudo apt install dcfldd
$ sudo dcfldd if=xubuntu-18.04.2-desktop-amd64.iso of=/dev/sdb bs=1M

En ce qui concernant la commande dcfldd, j’en ai parlé dans cet article.

Redémarrer la machine avec la clé insérée, puis sélectionner l’option d’Essayer Ubuntu sans avoir à l’installer.

2. Archiver le dossier /home

Monter ensuite la partition utilisée par /home qui, je le rappèle, se trouve sur la même partition que /. Les commandes « sudo fdisk -l » et « df -h » vous aideront à identifier cette partition. Dans mon cas, cette partition se trouve dans /dev/sda3.

$ sudo mount /dev/sda3 /mnt
$ sudo chroot /mnt

Brancher puis monter un disque dur externe pour la sauvegarde des données. De même que précédement, les commandes fdisk et df vous permettront de récupérer le nom du disque à monter.

$ sudo mount /dev/sdb1 /media/USERNAME

Placez vous dans le dossier dans lequel sera copié la partition /home, puis lancer la copie.

$ cd /media/USERNAME/MonDisque/CopieHome
$ tar -cvpzf backup-home.tgz /home/*

En fonction de la taille des fichiers dans le répertoire /home, la copie, ou plus exactement, la compression de /home, risque de prendre du temps.

3. Installer Ubuntu

Une fois la compression terminée, vous pouvez démonter les partitions montées précédement puis lancer l’installation de ubuntu.

$ sudo umount /media/USERNAME/MonDisque
$ sudo umount /mnt

Au moment de la création de l’utilisateur, je vous propose de créer un utilisateur de type « test » qu’il faudra supprimer plus tard. Il ne faut surtout pas créer un utilisateur du même nom que celui ou ceux qui gèrent notre dossier /home.

Une fois l’installation terminée, et que la machine a redémarrée, connectez-vous avec l’utilisateur test. Ensuite, copier l’archive dans le dossier /home. Je présume que votre disque externe va se monter automatiquement dans /media/USERNAME.

$ sudo su
$ cd /home
$ tar -xvpf /media/USERNAME/MonDisque/CopieHome/backup-home.tgz

4. Ajout de compte(s) utilisateur(s) du même nom que celui (ceux) du dossier /home

Maintenant, recréer tous les utilisateurs qui devraient avoir le nême nom que les utilisateurs de /home. Pour ce faire, il vous suffit de créer un nouveau compte utilisateur.

Vérifier que vous pouvez vous connecter sans problème avec ce ou ces utilisateurs, avant de supprimer définitement l’utilisateur « test ».

Annexe

Pour pouvoir attacher un disque dur externe ou une clé USB dans virtual box, lancer les commandes suivantes sur votre machine.

$ sudo apt install virtualbox-ext-pack
$ sudo adduser $USER vboxusers
$ sudo usermod -aG vboxusers $USER