Tag Archives: alternatives

Un fauteuil pour deux, sous debian

Pour remplir certaines fonctions, il existe souvent plusieurs solutions, et côté logiciel c’est pareil !

Par exemple, pour la configuration du système, on a besoin d’un éditeur de texte. Sur les distributions récentes, on trouve souvent nano, d’autres utilisent vi (ou une variante comme nvi ou vim…). Sous debian, l’éditeur par défaut s’appelle editor tout simplement.

Voyons voir ce qu’il en est:

$ which editor
/usr/bin/editor
$ ls -la /usr/bin/editor
lrwxrwxrwx 1 root root 24 mar  4 09:01 /usr/bin/editor -> /etc/alternatives/editor

On se rend compte que editor n’est pas un programme mais un lien vers un fichier du même nom dans  /etc/alternatives et si nous allions voir ce fichier, c’est lui même un lien vers le programme utilisé comme éditeur par défaut.

Pour changer celui-ci on pourrait changer le lien, mais c’est un peu brutal vu que debian fournit une commande pour le faire : update-alternatives. Évidemment pour toucher à la configuration de système, il faut être root (utiliser su ou sudo selon votre méthode favorite).

# update-alternatives --config editor

Un petit menu en mode texte vous proposera de choisir une alternative.

Voila pour les généralités, le problème se pose en particulier pour le plugin flash de firefox (enfin iceweasel) car même après avoir installé le plugin provenant de debian-multimedia, firefox s’obstine toujours à utiliser swfdec, et ce dernier ne peut pas être désinstallé sans nuire à Gnome… La solution est juste au dessus ! En fait firefox utilise le plugin flash-mozilla.so qui est lui-même une alternative. Donc:

# update-alternatives --config flash-mozilla.so
Il y a 2 alternatives fournissant « flash-mozilla.so ».

Sélection    Alternative
-----------------------------------------------
*+        1    /usr/lib/swfdec-mozilla/libswfdecmozilla.so
          2    /usr/lib/flashplayer-mozilla/libflashplayer.so

Appuyez sur Entrée pour conserver la valeur par défaut[*] ou choisissez le numéro sélectionné :2
Utilisation de « /usr/lib/flashplayer-mozilla/libflashplayer.so » pour fournir « flash-mozilla.so ».

Et le tour est joué !

Voila même si flash n’est pas libre, ce n’est pas une raison pour ne pas expliquer aux nouveaux arrivants sous debian ou ubuntu que d’aller renommer, effacer ou remplacer libswfdecmozilla.so pour que firefox joue du flash n’est pas la meilleure méthode.