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, 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

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

Souci 1 : Il n'y a que 3 choix pour l'iso à récupérer sur le site officiel : 2 netinst et 1 xfce. étant donné que je n'ai pas d'ethernet dispo, je prends xfce. ... et après l'install, c'est bien un bureau xfce ... pas terrible

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