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 PC01/essai01
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 PC01/essai02
é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.
Install PC02/essai01
Même chose que précédemment, mais j'aimerais réutiliser mon disque dur actuel, qui est déjà Debian Stretch, mais dans un PC 32 bits.
A priori, l'insertion de ce disque avec un OS 32 bits dans un PC 64 bits ne va simplement, ou bien pas fonctionner, ou bien fonctionner en mode 32 bits et dans ce cas, c'était pas la peine d'acheter un PC 64 bits.
- donc, petit nettoyage de mon /home ... il y a des GBs obsolètes à dégager
- F12, boot sur clé USB ok
- graphical install
- fr, fr, fr
- réseau pas reconnu, bien que relié en ethernet USB, comme pour l'install précédente
- miroir (évidemment) pas reconnu, comme before