Applications par défaut

Editeur

select-editor

Choix de l'éditeur

select-editor

Interrogation

cat $HOME/.selected_editor

update-alternative

Choix de l'éditeur

update-alternatives --config editor

Interrogation

update-alternatives --display editor

Java

Prise en compte d'une nouvelle version installée manuellement

sudo update-alternatives --install /usr/bin/java java /usr/lib/jvm/<version>/bin/java 1 sudo update-alternatives --install /usr/bin/javac javac /usr/lib/jvm/<version>/bin/javac 1

Choix de la version

sudo update-alternatives --config java sudo update-alternatives --config javac

Configuration

sudo update-alternatives --config java sudo update-alternatives --config javac

Interrogation

update-alternatives --display java update-alternatives --display javac