• Editer le fichier /etc/hostname et changer le nom qui y figure par le nouveau nom
• Lancer le script :
  /etc/init.d/hostname.sh start
  Ceci permettra de le laisser actif après un redémarrage de la machine
• Editer le fichier /etc/hosts et changer le nom qui y figure par le nouveau nom
• Soit redémarrer la machine soit le fixer manuellement par :
  hostname nouveau_nom

# Sauvegarde

sudo dpkg --get-selections > mes_paquets.txt

# Restauration

sudo dpkg --set-selections < mes_paquets.txt
sudo apt-get update
sudo apt-get dselect-upgrade


Ouvrez un terminal et tapez la commande suivante :

sudo update-alternatives --config java

… et vous pourrez choisir entre les différentes versions installées sur votre système.