Archive

Posts Tagged ‘debian’

Comment changer son nom de machine ?

février 16th, 2008 No comments
  • 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
Categories: Informatique Tags: .: debian

Comment sauvegarder / restaurer une liste de paquets ?

février 9th, 2008 No comments

# 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

Categories: Informatique Tags: .: debian .: paquet

Comment activer l’utilisation d’une version de Java ?

février 9th, 2008 No comments

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.

Categories: Informatique Tags: .: debian .: java