• installation debian 10.10.0 sur Dynabook Satellite Pro L50-G-103

    From Thomas Trupel@21:1/5 to didier gaumet on Wed Jul 21 17:00:01 2021
    This is a multi-part message in MIME format.
    Bonjour,

    Merci pour vos retours,

    @Didier, il y a bien ce qu'il faut dans les dossiers /boot/efi/EFI/BOOT
    et /boot/efi/EFI/debian (voir photo "dossier-boot"). Le PC a bien deux
    touches système : F2 pour accéder au paramétrage du firmware UEFI et F12 pour accéder au menu de boot du firmware UEFI. Les deux touches
    permettent d'accéder au menu de boot du firmware UEFI mais aucune entrée n'apparaît dans ce menu (voir photo menu-boot-uefi).
    dossier-boot.jpg <https://plik.root.gg/file/mOOhpr1Lix7o9nkO/xMfejqbEunfeJXfT/dossier-boot.jpg> menu-boot-uefi.jpg <https://plik.root.gg/file/bOaoCSjZlzuXDPiO/yAqEhDCbk8YuD75j/menu-boot-uefi.jpg>

    @Erwan, cette option (mode AHCI) n'est pas disponible dans le
    paramétrage UEFI.

    @Georges, merci pour le tuyau, je vais tenter d'installer rEFInd.

    Cordialement,
    Thomas Trupel

    On 20/07/2021 20:13, didier gaumet wrote:
    Le mardi 20 juillet 2021 à 15:31 +0200, Thomas Trupel a écrit :
    [...]
    @Frédéric, au redémarrage j'obtiens l'erreur "Default Boot Device
    Missing or Boot Failed".
    A priori il manque ce qu'il faut dans le dossier /boot/efi/EFI/Boot de
    ton nouveau système

    vérifie ce que tu as dans le dossier /boot/efi/EFI:

    chez moi (Bullseye, mais Buster devrait réagir identiquement): didier@hp-notebook14:~$ sudo ls /boot/efi/EFI
    [sudo] Mot de passe de didier :
    Boot debian Microsoft opensuse
    didier@hp-notebook14:~$ sudo ls /boot/efi/EFI/Boot
    bootx64.efi
    didier@hp-notebook14:~$ sudo ls -al /boot/efi/EFI/Boot
    total 1532
    drwx------ 2 root root 4096 26 nov. 2020 .
    drwx------ 6 root root 4096 26 nov. 2020 ..
    -rwx------ 1 root root 1558840 16 juil. 19:29 bootx64.efi didier@hp-notebook14:~$ sudo ls -al /boot/efi/EFI/Debian
    total 3484
    drwx------ 3 root root 4096 8 juin 14:07 .
    drwx------ 6 root root 4096 26 nov. 2020 ..
    -rwx------ 1 root root 108 9 juil. 09:06 BOOTX64.CSV
    -rwx------ 1 root root 84648 9 juil. 09:06 fbx64.efi
    drwx------ 2 root root 4096 22 mai 07:52 fw
    -rwx------ 1 root root 112 9 juil. 09:06 grub.cfg
    -rwx------ 1 root root 1672576 9 juil. 09:06 grubx64.efi
    -rwx------ 1 root root 845480 9 juil. 09:06 mmx64.efi
    -rwx------ 1 root root 934240 9 juil. 09:06 shimx64.efi

    tu devrais pouvoir forcer une fois pour toutes le démarrage de Debian
    par défaut:
    renomme d'abord (à tout hasard, pour ne pas le perdre) /boot/efi/EFI/Boot/bootx64.efi en /boot/efi/EFI/Boot/old.efi, puis
    copie /boot/efi/EFI/Debian/shimx64.efi vers
    /boot/efi/EFI/Boot/bootx64.efi

    redémarre et vérifie si le menu Grub apparaît

    Le PC ne boot sur rien mis à part ma clé USB bootable. J'ai accès au
    Bios UEFI mais je n'ai pas la possibilité de sélectionner le boot
    loader Debian "\EFI\debian\shimx64.efi".
    J'arrive à modifier le bootOrder avec efibootmgr mais ma modification
    n'est pas prise en compte. La variable est écrasée à chaque
    redémarrage par le firmware UEFI.
    Normalement au boot du PC en appuyant sur une touche système (F9, F10, etc... ça dépend de ton PC) tu as accès non pas au paramétrage de
    l'UEFI mais au choix de l'entrée UEFI à lancer. Si tu ne trouves pas
    une entrée appelée "Debian", elle peut être cachée dans une entrée au nom compliqué qui correspond au disque sur lequel se trouve Debian, il
    faut alors sléctionner cette entrée et navigeuer dans les répertoires jusqu'à /boot/efi/EFI/Debian pour sélectionner et lancer shimx64.efi





    <html>
    <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    </head>
    <body>
    Bonjour,<br>
    <br>
    Merci pour vos retours,<br>
    <br>
    @Didier, il y a bien ce qu'il faut dans les dossiers
    /boot/efi/EFI/BOOT et /boot/efi/EFI/debian (voir photo
    "dossier-boot"). Le PC a bien deux touches système : F2 pour accéder
    au paramétrage du firmware UEFI et F12 pour accéder au menu de boot
    du firmware UEFI. Les deux touches permettent d'accéder au menu de
    boot du firmware UEFI mais aucune entrée n'apparaît dans ce menu
    (voir photo menu-boot-uefi).<br>
    <a href="https://plik.root.gg/file/mOOhpr1Lix7o9nkO/xMfejqbEunfeJXfT/dossier-boot.jpg"
    style="color: rgb(15, 126, 219) !important;">dossier-boot.jpg</a><br>
    <a href="https://plik.root.gg/file/bOaoCSjZlzuXDPiO/yAqEhDCbk8YuD75j/menu-boot-uefi.jpg"
    style="color: rgb(15, 126, 219) !important;">menu-boot-uefi.jpg</a><br>
    <br>
    @Erwan, cette option (mode AHCI) n'est pas disponible dans le
    paramétrage UEFI.<br>
    <br>
    @Georges, merci pour le tuyau, je vais tenter d'installer rEFInd.<br>
    <br>
    Cordialement,<br>
    Thomas Trupel<br>
    <br>
    <div class="moz-cite-prefix">On 20/07/2021 20:13, didier gaumet
    wrote:<br>
    </div>
    <blockquote type="cite"
    cite="mid:9667c0d2d9f1167266be209ea557a995e6550c48.camel@gmail.com">
    <pre class="moz-quote-pre" wrap="">Le mardi 20 juillet 2021 à 15:31 +0200, Thomas Trupel a écrit :
    [...]
    </pre>
    <blockquote type="cite">
    <pre class="moz-quote-pre" wrap="">@Frédéric, au redémarrage j'obtiens l'erreur "Default Boot Device
    Missing or Boot Failed".
    </pre>
    </blockquote>
    <pre class="moz-quote-pre" wrap="">A priori il manque ce qu'il faut dans le dossier /boot/efi/EFI/Boot de
    ton nouveau système

    vérifie ce que tu as dans le dossier /boot/efi/EFI:

    chez moi (Bullseye, mais Buster devrait réagir identiquement): didier@hp-notebook14:~$ sudo ls /boot/efi/EFI
    [sudo] Mot de passe de didier :
    Boot debian Microsoft opensuse
    didier@hp-notebook14:~$ sudo ls /boot/efi/EFI/Boot
    bootx64.efi
    didier@hp-notebook14:~$ sudo ls -al /boot/efi/EFI/Boot
    total 1532
    drwx------ 2 root root 4096 26 nov. 2020 .
    drwx------ 6 root root 4096 26 nov. 2020 ..
    -rwx------ 1 root root 1558840 16 juil. 19:29 bootx64.efi didier@hp-notebook14:~$ sudo ls -al /boot/efi/EFI/Debian
    total 3484
    drwx------ 3 root root 4096 8 juin 14:07 .
    drwx------ 6 root root 4096 26 nov. 2020 ..
    -rwx------ 1 root root 108 9 juil. 09:06 BOOTX64.CSV
    -rwx------ 1 root root 84648 9 juil. 09:06 fbx64.efi
    drwx------ 2 root root 4096 22 mai 07:52 fw
    -rwx------ 1 root root 112 9 juil. 09:06 grub.cfg
    -rwx------ 1 root root 1672576 9 juil. 09:06 grubx64.efi
    -rwx------ 1 root root 845480 9 juil. 09:06 mmx64.efi
    -rwx------ 1 root root 934240 9 juil. 09:06 shimx64.efi

    tu devrais pouvoir forcer une fois pour toutes le démarrage de Debian
    par défaut:
    renomme d'abord (à tout hasard, pour ne pas le perdre) /boot/efi/EFI/Boot/bootx64.efi en /boot/efi/EFI/Boot/old.efi, puis
    copie /boot/efi/EFI/Debian/shimx64.efi vers
    /boot/efi/EFI/Boot/bootx64.efi

    redémarre et vérifie si le menu Grub apparaît

    </pre>
    <blockquote type="cite">
    <pre class="moz-quote-pre" wrap=""> Le PC ne boot sur rien mis à part ma clé USB bootable. J'ai accès au
    Bios UEFI mais je n'ai pas la possibilité de sélectionner le boot
    loader Debian "\EFI\debian\shimx64.efi".
    J'arrive à modifier le bootOrder avec efibootmgr mais ma modification
    n'est pas prise en compte. La variable est écrasée à chaque
    redémarrage par le firmware UEFI.
    </pre>
    </blockquote>
    <pre class="moz-quote-pre" wrap="">Normalement au boot du PC en appuyant sur une touche système (F9, F10,
    etc... ça dépend de ton PC) tu as accès non pas au paramétrage de
    l'UEFI mais au choix de l'entrée UEFI à lancer. Si tu ne trouves pas
    une entrée appelée "Debian", elle peut être cachée dans une entrée au
    nom compliqué qui correspond au disque sur lequel se trouve Debian, il
    faut alors sléctionner cette entrée et navigeuer dans les répertoires jusqu'à /boot/efi/EFI/Debian pour sélectionner et lancer shimx64.efi




    </pre>
    </blockquote>
    </body>
    </html>

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From =?ISO-8859-1?Q?Ga=EBtan?= Perrier@21:1/5 to All on Wed Jul 21 23:00:01 2021
    Le mardi 20 juillet 2021 à 07:34 +0200, Thomas Trupel a écrit :
    Bonjour,

    En voulant renouveler mon PC portable et en même temps passer définitivement à Linux, j'ai fait l'acquisition d'un PC portable
    Dynabook Satellite Pro L50-G-103... bien mal m'en a pris !
    Dès sa réception je me suis empressé d'insérer une clé USB bootable (avec l'image firmware-10.10.0-amd64-DVD-1.iso dessus via
    rufus-3.10p.exe) et j'ai lancé l'installation de Debian.
    Voulant me débarrasser définitivement de Windows, j'ai reformaté les
    deux espaces de stockage du PC (HDD + SDD) et j'ai sélectionné le SDD
    pour l'installation de Debian.

    L'installation s'est bien déroulée mais je n'ai jamais réussi à booter sur Debian...
    Après quelques tests avec un live CD Ubuntu, j'ai constaté que la
    variable UEFI BootOrder est écrasée par le firmware UEFI du PC à chaque redémarrage...
    Que me conseillez-vous avant d'abandonner ?

    Cordialement,
    Thomas Trupel


    A chaque fois que j'ai eu des problèmes de ce genre, j'ai utilisé refind (https://www.rodsbooks.com/refind/ ) et ça a résolu le problème.

    Gaëtan


    -----BEGIN PGP SIGNATURE-----

    iQEzBAABCgAdFiEEd7zcTjS9jiJYzB4MTEjQapSg6ZkFAmD4iP0ACgkQTEjQapSg 6ZnxgQf/drHCEMHYd4G6NjZMpJCDVOAkmO5XUXkACHcheRfNTQo3Ljh85ERfEx2n ddSSoKb2c9vIWA1rTYxrhhamDy1K+kV+sycVhNda7vnXswfi5i32ziSyJtlGxFY9 5C5oln6X/pDtT4vCdhKZDihJlf1fUc+kU1RJKPNVrJoSrn+g2iwbg7ib9TqCGUWS n6Wi/YmEc037RVL/qC6yj+FgdfSaOCrabm5053AqkLLroqBfhnF03zavpEQbTR2w HlrK0mRisQp1Anpvc+9rm9nWo1OhGoZXPWBqx9RS4qa6G5/rkt0kYc1Xe898Jxxi 2o8Mc3WgK2qsZGd00pAEkz63Td0VWQ==
    =9BwG
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From didier gaumet@21:1/5 to All on Thu Jul 22 13:30:01 2021
    Le mercredi 21 juillet 2021 à 16:59 +0200, Thomas Trupel a écrit :
    [...]
    @Didier, il y a bien ce qu'il faut dans les dossiers
    /boot/efi/EFI/BOOT et /boot/efi/EFI/debian
    [...]

    As-tu effectué la copie que je te suggérais?

    /boot/efi/EFI/bootx64.efi, l'entrée par défaut, me semble souvent un
    enrobage par le constructeur du PC dont la fonction est de lancer
    l'entrée Windows ou d'accéder à des fonctions de restauration ou remise
    au spécifications usine. Le but étant pour le constructeur de
    privilégier cette entrée pour que l'utilisateur ne puisse pas foutre
    son système en l'air. ça permet de repartir d'une partition créée pour
    cela même si l'utilisateur a mis en l'air son Windows au-delà de toute réparation. Mais en vidant tes disques, tu as supprimmé non seulement
    la partition ordinaire windows mais la partition "de sauvetage" du constructeur.

    Donc je n'ai pas fait ça récemment mais à l'époque où Debian ne gérait pas le Secure Boot et où la gestion de l'UEFI dans Debian était encore
    jeune, je me souviens avoir copié grubx64.efi à la place de bootx64.efi
    (en le renommant bootx64.efi) et ça fonctionnait, c'était plus ou moins
    la procédure recommandée en cas de pépin, je crois...

    Bon courage, en tout cas :-)

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From jhcha54008@21:1/5 to All on Fri Jul 23 00:10:01 2021
    Bonsoir,

    Je me demande si le fil de discussion suivant
    (certes pour un modèle différent) pourrait
    donner une piste pour trouver une solution :

    https://forum.ubuntu-fr.org/viewtopic.php?id=2052532

    (Je ne suis pas en situation de tester par moi-même
    cette piste).

    Bon courage !

    Cordialement,
    JH Chatenet

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Thomas Trupel@21:1/5 to All on Fri Jul 23 17:00:01 2021
    This is a multi-part message in MIME format.
    Bonjour,

    Merci pour vos retours, j'ai enfin réussi à booter Debian (j'ai encore
    un problème au démarrage de Debian : écran noir avec le curseur qui clignote, peut-être que le GPU Intel UHD Graphics 620 n'est pas supporté).

    @Didier, la copie que tu suggères n'a pas fonctionné.

    @Georges, JH, la piste "Microsoft" était la bonne, il semble que le
    firmware UEFI de mon PC soit configuré pour lancer uniquement le loader "/boot/efi/EFI/Microsoft/Boot/bootmgfw.efi". Après avoir créé les
    dossiers /boot/efi/EFI/Microsoft et /boot/efi/EFI/Microsoft/Boot j'ai
    copié le grubx64.efi : "cp /boot/efi/EFI/debian/grubx64.efi /boot/efi/EFI/Microsoft/Boot/bootmgw.efi". Et là...tada... j'ai réussi à booter sur Debian !

    Le firmware UEFI de mon PC semble donc être une bien pauvre
    implémentation d'UEFI (https://www.rodsbooks.com/refind/installing.html#naming <https://www.rodsbooks.com/refind/installing.html#naming>). Vous aurez
    compris que je suis déçu par ce PC et que je ne le recommande pas.

    Merci à tous pour votre aide,
    Thomas Trupel


    On 23/07/2021 00:02, jhcha54008 wrote:
    Bonsoir,

    Je me demande si le fil de discussion suivant
    (certes pour un modèle différent) pourrait
    donner une piste pour trouver une solution :

    https://forum.ubuntu-fr.org/viewtopic.php?id=2052532

    (Je ne suis pas en situation de tester par moi-même
    cette piste).

    Bon courage !

    Cordialement,
    JH Chatenet

    <html>
    <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    </head>
    <body>
    Bonjour,<br>
    <br>
    Merci pour vos retours, j'ai enfin réussi à booter Debian (j'ai
    encore un problème au démarrage de Debian : écran noir avec le
    curseur qui clignote, peut-être que le GPU Intel UHD Graphics 62
    0
    n'est pas supporté).<br>
    <br>
    @Didier, la copie que tu suggères n'a pas fonctionné.<br>
    <br>
    @Georges, JH, la piste "Microsoft" était la bonne, il semble que le
    firmware UEFI de mon PC soit configuré pour lancer uniquement le
    loader "/boot/efi/<span style="color: rgb(0, 0, 0); font-size:
    medium; font-style: normal; font-variant-ligatures: normal;
    font-variant-caps: normal; letter-spacing: normal; text-align:
    left; text-indent: 0px; text-transform: none; white-space: normal;
    word-spacing: 0px; -webkit-text-stroke-width: 0px;
    text-decoration-thickness: initial; text-decoration-style:
    initial; text-decoration-color: initial; display: inline
    !important; float: none;">EFI/Microsoft/Boot/bootmgfw.efi". Après
    avoir créé les dossiers /boot/efi/EFI/Microsoft et </span><span
    style="color: rgb(0, 0, 0); font-size: medium; font-style: normal;
    font-variant-ligatures: normal; font-variant-caps: normal;
    letter-spacing: normal; text-align: left; text-indent: 0px;
    text-transform: none; white-space: normal; word-spacing: 0px;
    -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;"><span
    style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps:
    normal; letter-spacing: normal; text-align: left; text-indent:
    0px; text-transform: none; white-space: normal; word-spacing:
    0px; -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;">/boot/efi/EFI/Microsoft</span>/Boot
    j'ai copié le grubx64.efi : "cp /boot/efi/EFI/debian/grubx64.efi
    /boot/efi/EFI/Microsoft/Boot/bootmgw.efi". Et là...tada... j'ai
    réussi à booter sur Debian ! </span><br>
    <span style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps: normal;
    letter-spacing: normal; text-align: left; text-indent: 0px;
    text-transform: none; white-space: normal; word-spacing: 0px;
    -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;"></span><br>
    <span style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps: normal;
    letter-spacing: normal; text-align: left; text-indent: 0px;
    text-transform: none; white-space: normal; word-spacing: 0px;
    -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;">Le firmware
    UEFI de mon PC semble donc être une bien pauvre implémentation
    d'UEFI (<a moz-do-not-send="true"
    href="https://www.rodsbooks.com/refind/installing.html#naming">https://www.rodsbooks.com/refind/installing.html#naming</a>).
    Vous aurez compris que je suis déçu par ce PC et que je ne le
    recommande pas.</span><br>
    <span style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps: normal;
    letter-spacing: normal; text-align: left; text-indent: 0px;
    text-transform: none; white-space: normal; word-spacing: 0px;
    -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;"></span><br>
    <span style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps: normal;
    letter-spacing: normal; text-align: left; text-indent: 0px;
    text-transform: none; white-space: normal; word-spacing: 0px;
    -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;">Merci à tous
    pour votre aide,</span><br>
    <span style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps: normal;
    letter-spacing: normal; text-align: left; text-indent: 0px;
    text-transform: none; white-space: normal; word-spacing: 0px;
    -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;">Thomas Trupel</span><br>
    <span style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps: normal;
    letter-spacing: normal; text-align: left; text-indent: 0px;
    text-transform: none; white-space: normal; word-spacing: 0px;
    -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;"></span>
    <p><br>
    <span style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps:
    normal; letter-spacing: normal; text-align: left; text-indent:
    0px; text-transform: none; white-space: normal; word-spacing:
    0px; -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;"></span></p>
    <p><span style="color: rgb(0, 0, 0); font-size: medium; font-style:
    normal; font-variant-ligatures: normal; font-variant-caps:
    normal; letter-spacing: normal; text-align: left; text-indent:
    0px; text-transform: none; white-space: normal; word-spacing:
    0px; -webkit-text-stroke-width: 0px; text-decoration-thickness:
    initial; text-decoration-style: initial; text-decoration-color:
    initial; display: inline !important; float: none;"></span></p>
    <div class="moz-cite-prefix">On 23/07/2021 00:02, jhcha54008 wrote:<br>
    </div>
    <blockquote type="cite"
    cite="mid:20210722220240.dqd34wjstagep6rg@dtl32-seine">
    <pre class="moz-quote-pre" wrap="">Bonsoir,

    Je me demande si le fil de discussion suivant
    (certes pour un modèle différent) pourrait
    donner une piste pour trouver une solution :

    <a class="moz-txt-link-freetext" href="https://forum.ubuntu-fr.org/viewtopic.php?id=2052532">https://forum.ubuntu-fr.org/viewtopic.php?id=2052532</a>

    (Je ne suis pas en situation de tester par moi-même
    cette piste).

    Bon courage !

    Cordialement,
    JH Chatenet
    </pre>
    </blockquote>
    </body>
    </html>

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From didier gaumet@21:1/5 to All on Fri Jul 23 17:30:01 2021
    Le vendredi 23 juillet 2021 à 16:50 +0200, Thomas Trupel a écrit :
     Bonjour,
     
     Merci pour vos retours, j'ai enfin réussi à booter Debian (j'ai
    encore un problème au démarrage de Debian : écran noir avec le
    curseur qui clignote, peut-être que le GPU Intel UHD Graphics 620
    n'est pas supporté).

    je peux te rassurer sur ce point, c'est le chipset graphique de mon
    laptop: il te manque probablement le paquet firmware-misc-nonfree
    (quand l'installation en mode graphique se passe bien on a l'impression trompeuse que le chipset est pris en charge via un pilote adéquat alors
    que l'installation se déroule avec un pilote VESA, si je me souviens
    bien).

    D'une manière générale
    $ sudo journalctl -xb | grep -i firmware | less
    te listera les appels du système à des firmwares, qu'ils aient été ou
    non couronnés de succès. Ceux en échec t'indiquent les fichiers à récupérer. Pour chaque fichier manquant, tu fais un
    $ apt-file search nom-du-fichier
    pour savoir quel paquet installer

     @Didier, la copie que tu suggères n'a pas fonctionné.
    [...]

    pas de bol ;-)

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