Salut Math:
On Fri, Jun 14, 2013 at 08:41:10AM +0200, Mathieu Barbe wrote:
ca veut dire quoi au final?
Il faut modifier quelque chose dans notre debian?
++ Math
Sous les systèmes "Deb-based", par ex. Ubuntu et Debian, les packages sont
pompés de serveurs http ou ftp *officiels*, mais aussi - si parfois on le
souhaite - via des serveurs de packages autorisés mais *pas* officiels, cad
pas fournits et gérés par l'equipe de ta distribution Debian ou Ubuntu.
Dans le cas qui nous occupe ici et ne concerne que Debian, le répo
deb-multimedia.org est le nouveau nom de l'ancien debian-multimedia.org
et permet par ex. d'avoir pleins de packages tous consacrés à ce qui touche
le multimedia:
acidrip, dvdrip, cutmp3, des codecs video, les w32codecs... et autres
packages libres ou non libres.
Si tu les veux tu dois impérativement ajouter une ligne dans
/etc/apt/sources.list pointant vers le répo http ou ftp ad hoc.
Si tu utillises une Debian, si tu as/avait déjà des références vers ledit
répo multimedia, alors oui il te faut modifier /etc/apt/sources.list et
changer l'url pointant vers
debian-multimedia.org en
deb-multimedia.org
Si tu nas pas encore ce répo, il faut ajouter une ligne ressemblant à ce qui
suit dans ton fichier sources.list:
deb http://www.deb-multimedia.org stable main non-free
Sauvegarder,
faire un apt-get update,
apt-get install deb-multimedia-keyring
(en disant yes pour qu'il continue la 1re fois)
et dès lors tu auras une pelletée de packages à ta dispo tous orientés
multimedia.
Note que sans ce répo ta Debian fournit déjà pleins de packages libres GPL
(general public license), mais ce qui est non-libre n'y figure par exemple
pas.
Aldo.