Comment changer son nom de machine ?

Samedi 16 février 2008 - Posté dans Informatique | Aucun commentaire »
Tags : debian

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 ...

Comment sauvegarder / restaurer une liste de paquets ?

Samedi 9 février 2008 - Posté dans Informatique | Aucun commentaire »
Tags : debian paquet

# 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

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

Samedi 9 février 2008 - Posté dans Informatique | Aucun commentaire »
Tags : debian java

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.