Libre Experience » debian

Comment changer son nom de machine ?

Marco — Sat, 16 Feb 2008 15:14:52 +0000

Editer le fichier /etc/hostname et changer le nom qui y figure par le nouveau nom
Lancer le script :
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 :

Marco — Sat, 09 Feb 2008 11:36:34 +0000

# 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

Marco — Sat, 09 Feb 2008 11:34:55 +0000

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.