Re: Bug dans Debian !
On Thu, 2025-07-17 at 16:54 +0200, philippe L wrote:
> Bonjour,
>
> Sur un Satellite Toshiba, avec Debian 13, j'ai pas le wifi alors qu'avec
> Fedora je suis opérationnel pour m'exprimer in UP ....
Il serait utile de préciser le modèle exact, et d'éviter l'acronyme UP.
>
> J'ose pas vous envoyer le dmesg, c'est long y a 18 pages !
>
> Ne serai t'il pas judicieux de copier les autres ?
>
> C'est peut-être le debiantiste ?
Si Fédora fonctionne le plus rapide est de l'utiliser et l'installer.
Et notez a minima la sortie des commandes suivantes (il vous faut /usr/sbin et
/sbin/ dans votre PATH, en plus des habituels /bin et /usr/bin)
lspci
lsusb
hwinfo
lsmod
Si (et je le comprends) on préfère une Debian ou compatible:
Essayez Ubuntu, ou bien
Insérez les modules manquants (cf fichier /etc/modules)
Mais toutes les distributions Linux (ou des autres systèmes d'exploitation) sont
inévitablement un peu boguées, et ceci pour plusieurs raisons
* il n'existe pas de spécification formelle de ce que devrait être une
distribution Linux non boguée
* le matériel lui-même est souvent bogué, tout comme son micrologiciel
(firmware)
* il n'existe guère de spécification formelle de ce qu'un utilisateur donné
attend de sa distribution Linux (dit autrement, ce qui serait pour vous un bogue
pourrait être pour moi ou d'autres un trait positif). Même la norme POSIX (et
Linux fait mieux) n'est pas une spécification formelle.
https://archive.fosdem.org/2018/schedule/event/code_parsing_posix_s_hell/
* la suite de compilation gcc.gnu.org est aussi imparfaite (l'optimisation de
code est notamment un problème difficile et souvent indécidable).
* la taille d'une distribution Linux en lignes de code source dépasse le
milliard de ligne de code.
Si vous souhaitez un logiciel "sans" bogues (mon avis est que ça ne peut pas
exister), préparez vous à payer (très cher) sa certification et sa garantie
(peut-être via des analyseurs de code libre comme frama-c.com). Microsoft le
sait bien en vendant cher des logiciels bogués et propriétaires. La
certification d'un logiciel est partielle (voir
https://fr.wikipedia.org/wiki/Probl%C3%A8me_de_l'arr%C3%AAt et
https://fr.wikipedia.org/wiki/Probl%C3%A8me_NP-complet ....)". Leur
certification éventuelle comprend alors les défauts logiciels acceptables
(autrement dits des bogues non corrigés).
Le livre https://mitpress.mit.edu/9780262693073/algorithmic-program-debugging/
est aussi intéressant, et remarque que la synthèse (semi-automatique) de
logiciel équivaut à déboguer le programme vide.
Un bogue intéressant (mais non Linuxien) a provoqué l'échec du premier tir de la
fusée Ariane 5: https://fr.wikipedia.org/wiki/Vol_501_d%27Ariane_5 et mon
opinion est qu'il s'agit plus d'une erreur de management que d'un bogue logiciel
pur. D'autres bogues ont failli avoir des conséquences bien plus dramatiques
(voir
https://fr.wikipedia.org/wiki/Fausse_alerte_nucl%C3%A9aire_sovi%C3%A9tique_de_1983
et https://fr.wikipedia.org/wiki/Stanislav_Petrov ...)
La licence libre GPL usuelle dans Linux (ou les outils GNU) ou son équivalent
français (CeCILL) énonce explicitement l'absence de garantie.
Alors oui, Debian (et les autres Linux) sont bogués. Y compris le noyau lui-même
(cf kernel.org). Çà ne m'empêche pas de dormir.
Et je rappelle quand même que tous les supercalculateurs (y compris ceux de
meteofrance.com) tournent tous sous Linux. Cf https://top500.org/ (aucun ne
tourne sous Windows ou *BSD).
L'avantage des logiciels libres, c'est qu'à force d'efforts de développement
vous pouvez les améliorer et les corriger (ou payer quelqu'un à ce faire). Mais
dans un gros logiciel (par exemple libreoffice.org ou les suites bureautiques
propriétaires de microsoft ou le compilateur gcc.gnu.org ou le noyau Linux
kernel.org) le nombre de bogues reste non-nul. La correction de certains bogues
en rajoute certains autres.
--
Basile STARYNKEVITCH <basile@starynkevitch.net>
8 rue de la Faïencerie http://starynkevitch.net/Basile/
92340 Bourg-la-Reine https://github.com/bstarynk
France https://github.com/RefPerSys/RefPerSys
Reply to: