Debian-Stretch-9.4.0

Attention, c'est pour une install sur ordi intel 64 bits où on voudrait aussi une distro 64 bits.

(NB : installer une distro 32 bits sur un ordi 64 bits, ça se fait sans souci. C'est l'inverse qui n'est pas faisable.)

Attention : sur une machine 64 bits, upgrader une distro 32 bits en 64 bits, c'est faisable ... mais ça semble pas tout à fait trivial.

Commandes bien pratiques pour savoir ce que l'ordinateur supporte :

• lscpu
• cat /proc/cpuinfo

La manip n'est pas vraiment bien précisé sur debian.org

Il semblerait qu'il faille prendre l'image amd64 (ben ouais)

• https://www.debian.org/releases/stable/i386/ch02s01.html.fr
• https://www.debian-fr.org/t/quel-version-de-debian-pour-intel-64-bits/20746

Récupération

Download sur le site officiel, https://www.debian.org , puis sha256sum pour vérifier.

J'ai effectué, avec dd, une copie d'iso sur clé usb. ça prend qqs minutes et dd n'affiche aucun message de progression. (dd est o-bli-ga-toi-re. La copie via le gestionnaire graphique réalise iso vers iso ... et cela ne permet pas de booter sur la clé).

attention il faut copier sur /dev/sdb et pas eg sur /dev/sdb1 (qui ne marche pas). Vérifier avec eg gparted en cas de doute.

dd if=debian-9.4.0-blabla-1.iso of=/dev/sdb bs=4M; sync

cela ne produit pas une copie iso vers iso mais la décompression propre de tous les fichiers sur la clé USB.

dd se fout du formatage de la clé, il passe dessus et l'arrange comme il faut

Install 01

Dire au BIOS de booter sur USB. (touche F12). ça gaze.

Souci 1 : J'ai récupéré une image iso CD (petite) car je pensais que ça suffirait pour amorcer la pompe. Il n'y a que 2 choix pour l'iso à récupérer sur le site officiel : 1 netinst et 1 xfce. J'ai pris xfce. ... et après l'install, c'est bien un bureau xfce ... pas terrible

Souci 2 : J'ai beau munir l'ordi d'une connection filaire qui fonctionne ... l'install ne réussit pas à l'utiliser.

Souci 3 : déjà rencontré. Le récepteur wifi de la machine n'est pas apprécié par Debian. Il va donc falloir chercher les pilotes.

Je reessaie avec netinst.iso, et j'ai les mêmes soucis, sauf qu'en plus, il n'y a même plus de bureau.

Install 02

étant donné que xfce ne me convient pas du tout et que l'install ultérieure de gnome me parait galère, je préfère downloader une grosse image iso debian DVD 4GB, plus complète, et qui proposera (entre autres) le desktop gnome.

Download torrent ok. sha256sum ok.

Le souci 2 se répète. L'install ne réussit pas à utiliser la connection filaire, mais au lancement, bonne surprise, la connection filaire est bien là. Mystère, mais tant mieux.

Reste à partir à la chasse au pilote wifi -> Wifi_pour_Debian J'ai finalement dégoté 2 clés USB qui fonctionnent.