Différences

Ci-dessous, les différences entre deux révisions de la page.

--- floss:config_ubuntu_server [2020/01/22 10:56] – [Compléments d'installation du serveur] villersd
+++ floss:config_ubuntu_server [2020/01/24 10:42] – [Mise à jour de VirtualBox] villersd
@@ Ligne 51: / Ligne 51: @@
 ==== Mise à jour de VirtualBox ====
-Pour mettre à jour, simplement désinstaller, puis redéfinir des sources actualisées, puis réinstaller : Exécuter les commandes suivantes pour la désinstallation :
+Si les sources sont identiques, et qu'il s'agit d'une mise à jour mineure, effectuer simplement :
+  sudo apt upgrade
+Sinon, pour mettre à jour, simplement désinstaller, puis redéfinir des sources actualisées, puis réinstaller : Exécuter les commandes suivantes pour la désinstallation :
   sudo apt remove --purge virtualbox virtualbox-*
   sudo apt autoremove
@@ Ligne 58: / Ligne 61: @@
   sudo apt update
-Ensuite reprendre l'installation.
+Ensuite reprendre l'installation. Lors du démarrage de VirtualBox, il est très probable qu'une nouvelle version du pack d'extension sera proposée. Suivre simplement les instructions, et chaîner cela à l'exécution de VirtualBox plutôt que de sauvegarder le pack d'extension.
 ===== Génération de clés SSH =====