• Re: Bug dans Debian !

    From Basile Starynkevitch@21:1/5 to philippe L on Thu Jul 17 17:40:01 2025
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From =?UTF-8?Q?S=C3=A9bastien_NOBILI?=@21:1/5 to All on Fri Jul 18 16:20:02 2025
    Bonjour,

    Le 2025-07-17 16:54, philippe L a écrit :
    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 ....

    Probablement le firmware qui manque. Est-ce que la commande suivante
    remonte des alertes de firmware manquant ?

    ```
    dmesg | grep -i firmware
    ```

    Sébastien

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)