Sélection de la version par défaut d’une application sur Debian

Votre ordinateur peut contenir plusieurs versions différentes d’un même logiciel, ou bien plusieurs programmes aux fonctionnalités similaires. Sur Debian, comme ailleurs, il y a une fonction qui permet de selectionner le programme précis qui sera utilisé par défaut par le système, lorsque ce n’est pas l’utilisateur qui choisit. Il s’agit de la commande update-alternatives.

Cet article est plus un aide-mémoire à usage personnel qu’un véritable tutoriel. En effet, je n’arrive jamais à me souvenir de cette commande quand j’en ai besoin. Ceci devrait donc m’éviter de perdre du temps à l’avenir…

Répertoire des alternatives

Pour connaitre les logiciels concernés, on regardera dans le dossier /etc/alternatives.
Pour faire autre chose que la sélection d’une version par défaut (par exemple ajouter ou supprimer des alternatives), la lecture du manuel s’impose ; c’est assez complexe.

Lister les différentes versions installées d’un programme

root:

# update-alternatives --list tclsh
/usr/bin/tclsh8.4
/usr/bin/tclsh8.5

Changer la version par défaut

Pour illustrer la commande update-alternatives --config, je vais prendre un exemple réel. La version de tcl/tk sur Debian lenny est la 8.4 par défaut. Je désire utiliser par défaut la 8.5 (qui est déjà installée).

utilisateur:

$ tclsh
% puts $tcl_version
8.4
% exit
$

root:

# update-alternatives --config tclsh

Il y a 2 alternatives fournissant « tclsh ».

 Sélection    Alternative
-----------------------------------------------
*+        1    /usr/bin/tclsh8.4
 2    /usr/bin/tclsh8.5

Appuyez sur Entrée pour conserver la valeur par défaut[*] ou choisissez le numéro sélectionné :2
Utilisation de « /usr/bin/tclsh8.5 » pour fournir « tclsh ».
#

utilisateur:

$ tclsh
% puts $tcl_version
8.5
% exit
$
Publicités

, , ,

  1. Poster un commentaire

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

%d blogueurs aiment cette page :