Une petite précision supplémentaire. La demande que Christian Marillat cesse d'utiliser le nom « debian » était motivée par un problème réel lié à l'utilisation de ce nom. Comme je viens de l'expliquer, à une époque utiliser ce dépôt cassait VLC à la première mise à jour. De gens envoyait de temps en temps des rapports de bogues sur le paquet vlc, et ces bogues étaient fermés avec un explication : vous utiliser des paquets non officiels, ça vient de là, on n'y peut rien, à vous de réparer votre système en réinstallant de force les paquets officiels.
Or un jour, quelqu'un fit un tel rapport de bogue, et ce bogue fut fermé de la même façon. Seulement, il insista, ce qui donna à peu près de dialogue si je me souviens bien :
Rapporteur : Je n'utilise pas de dépôt non officiel, c'est un vrai bogue de Debian. (Il rouvre le bogue)
Mainteneur : Si, vous utilisez debian-multimedia.org. (Il referme le bogue)
Rapporteur : C'est un dépôt officiel. (Il rouvre le bogue)
Mainteneur : Non, ça n'a rien à voir avec Debian, cessez de rouvrir ce bogue qui ne nous concerne pas.
Rapporteur : Ça s'appelle debian-multimedia, pour moi c'est officiel.
Je ne me souviens plus comment ce bogue précis fut finalement traité, mais cela fut le départ de la discussion concernant le nom de domaine utilisé par Christian Marillat, qui avait pour argument principal celui-ci : le nom « debian » donne l'impression qu'il s'agit d'un service officiel de Debian, ce qui induit les utilisateurs en erreur.
[^] # Re: Problèmes de deb-multimedia
Posté par 🚲 Tanguy Ortolo (site web personnel) . En réponse au journal Attention au dépôt debian-multimedia.org !. Évalué à 10.
Une petite précision supplémentaire. La demande que Christian Marillat cesse d'utiliser le nom « debian » était motivée par un problème réel lié à l'utilisation de ce nom. Comme je viens de l'expliquer, à une époque utiliser ce dépôt cassait VLC à la première mise à jour. De gens envoyait de temps en temps des rapports de bogues sur le paquet vlc, et ces bogues étaient fermés avec un explication : vous utiliser des paquets non officiels, ça vient de là, on n'y peut rien, à vous de réparer votre système en réinstallant de force les paquets officiels.
Or un jour, quelqu'un fit un tel rapport de bogue, et ce bogue fut fermé de la même façon. Seulement, il insista, ce qui donna à peu près de dialogue si je me souviens bien :
Rapporteur : Je n'utilise pas de dépôt non officiel, c'est un vrai bogue de Debian. (Il rouvre le bogue)
Mainteneur : Si, vous utilisez debian-multimedia.org. (Il referme le bogue)
Rapporteur : C'est un dépôt officiel. (Il rouvre le bogue)
Mainteneur : Non, ça n'a rien à voir avec Debian, cessez de rouvrir ce bogue qui ne nous concerne pas.
Rapporteur : Ça s'appelle debian-multimedia, pour moi c'est officiel.
Je ne me souviens plus comment ce bogue précis fut finalement traité, mais cela fut le départ de la discussion concernant le nom de domaine utilisé par Christian Marillat, qui avait pour argument principal celui-ci : le nom « debian » donne l'impression qu'il s'agit d'un service officiel de Debian, ce qui induit les utilisateurs en erreur.