Tout a bien fonctionné.
Connexion
Je n'avais plus de 4G sur mon téléphone au moment du téléchargement de l'ISO. La réception n'était pas bonne là où j'étais
Je l'ai donc fait avec le wifi de la box Orange fibre. 190 Mbps en wifi, ça dépote assez.
Les 2 Go de l'ISO se sont téléchargés en 2 minutes environ.
Clé formatée et gravée avec windows 10
- J'ai formaté depuis l'explorateur windows, en FAT, l'option par défaut.
- J'ai créé la clé bootable avec RUFUS, en
suivant ce tuto. C'est d'une simplicité enfantine. Génial, cet utilitaire.
- J'ai installé 18.04 sans définir moi même, comme autrefois, mes partitions. J'ai supposé que l'installateur faisait ça très bien tout seul de nos jours. J'ai regardé. J'ai pas vu de partition système ni de partition SWAP.
Par défaut, il fout tout dans une seule partition ? C'est pas gênant ?
Disque /dev/sda : 1,8 TiB, 2000398934016 octets, 3907029168 secteurs
Unités : secteur de 1 × 512 = 512 octets
Taille de secteur (logique / physique) : 512 octets / 4096 octets
taille d'E/S (minimale / optimale) : 4096 octets / 4096 octets
Type d'étiquette de disque : dos
Identifiant de disque : 0xbc05f905
Périphérique Amorçage Début Fin Secteurs Taille Id Type
/dev/sda1 * 2048 3907028991 3907026944 1,8T 83 Linux
Merci pour tout, LukePerp !
