Ubuntu-fr

TVG

[Résolu] Partitions EFI et swap pour Ubuntu 20.04

Bonjour à tous,

J'ai acheté un PC avec Windows 10 préinstallé. Je voudrais virer Windows 10 et installer Ubuntu 20.04 à la place. (J'ai récupéré la clé produit Windows 10 pour l'installer en machine virtuelle).

Voici les partitions actuelles :
https://www.zupimages.net/viewer.php?id=21/01/7ryn.jpg

Je note qu'il y a une partition EFI et je me demande si je dois la garder ou si je peux tout effacer et en recréer une. Voici ce que je compte faire :
https://www.zupimages.net/viewer.php?id=21/01/327e.jpg

Est-ce que ça semble bon comme ça ? Est-ce que 250 Mo pour EFI c'est suffisant ?

Y a-t-il un intérêt de mettre une partition swap lorsqu'on a 32 Mo de RAM et qu'on a pas besoin de faire d'hibernation ?

Merci d'avance pour vos conseils.

Dernière modification par TVG (Le 17/01/2021, à 13:35)

geole

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Bonjour
La partition EFI peut faire seulement 36 Mio  qui est la taille minima de fabrication d'une partition FAT32
Tu te compliques la vie inutilement en fabricant une partition /home puisqu'elle est sur le même disque.
Actuellement le swap est géré automatiquement  avec un fichier .

Dernière modification par geole (Le 06/01/2021, à 10:35)

---

Les grilles de l'installateur https://doc.ubuntu-fr.org/tutoriel/inst … _subiquity
"gedit admin:///etc/fstab" est proscrit,  utilisez "pkexec env DISPLAY=$DISPLAY XAUTHORITY=$XAUTHORITY xdg-open /etc/fstab" Voir  https://doc.ubuntu-fr.org/gedit
Les partitions EXT4 des disques externes => https://forum.ubuntu-fr.org/viewtopic.p … #p22697248

TVG

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Merci geole.

Tu te compliques la vie inutilement en fabricant une partition /home puisqu'elle est sur le même disque.

Je croyais qu'il fallait toujours séparer '/' et '/home' car si on avait un problème et qu'on voulait réinstaller Ubuntu, on avait pas de risque de perdre les fichiers du '/home'.

Actuellement le swap est géré automatiquement  avec un fichier .

Peux-tu m'en dire plus ?

fernand1

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Certains sont pour un home séparé
C'est mon cas mais ça n'engage que moi.
Si à l'avenir tu veux installer d'autres os linux, tous tes fichiers seront communs, de plus avec home séparé, tu peux régulièrement sauvegarder tes fichiers.
Peux-tu m'éclairer comment as tu pu récupérer la clé Windows?
Ça devra peut-être faire l'objet d'un nouveau post
Merci

geole

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

1)    Pour cela il faudrait cocher la case formater.
     Il peut être intéressant de réinitialiser le /home si on prend le soin de fabriquer une partition dédiée au données. ( http://mezigoo.free.fr/ps/index.html )

2)  Le fichier de swap ( /swapfile ) est créé au premier niveau avec  une petite taille. Il s'agrandira si cela devient nécessaire.

3) Avec un SSD, pense à optimiser les écritures
   a)   Ne déclencher le swap que lorsque cela devient nécessaire. Lien paragraphe 3.1.2 de https://doc.ubuntu-fr.org/swap#ameliore … hange_swap
   b)    Mettre les fichiers temporaires en RAM. Lien  paragraphe 3.1 de https://doc.ubuntu-fr.org/tmpfs#mettretmp_en_tmpfs
   c)   Ne pas écrire les traces en double exemplaire. Lien paragraphe 4.6 de https://doc.ubuntu-fr.org/ssd_solid_sta … u_logiciel

Dernière modification par geole (Le 06/01/2021, à 11:03)

---

Les grilles de l'installateur https://doc.ubuntu-fr.org/tutoriel/inst … _subiquity
"gedit admin:///etc/fstab" est proscrit,  utilisez "pkexec env DISPLAY=$DISPLAY XAUTHORITY=$XAUTHORITY xdg-open /etc/fstab" Voir  https://doc.ubuntu-fr.org/gedit
Les partitions EXT4 des disques externes => https://forum.ubuntu-fr.org/viewtopic.p … #p22697248

TVG

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Merci fernand1.

[...] de plus avec home séparé, tu peux régulièrement sauvegarder tes fichiers.

Peux-tu m'en dire plus ?

Peux-tu m'éclairer comment as tu pu récupérer la clé Windows?

J'ai exécuté

wmic path softwarelicensingservice get OA3xOriginalProductKey

en invite de commande.
Source : https://www.commentcamarche.net/informa … e-windows/

fernand1

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Je pense que si tu ne sépares pas ton home, tes dossiers, fichiers sont stockés pour une partie dans l'os.
Perso, j'ai sur un de mes PC, Ubuntu 16,18,20, mx19 et un petit dernier emmaubuntus, tout ça avec le même home.
Donc lorsque j'ouvre mon bureau, c'est le même dans chaque OS.
Je fais des sauvegardes de mon home via le coffre-fort deja-dup.
Évidemment lorsque tu installes un second OS, ne pas formater le home, sinon tu écrasés tes fichiers contenus du 1er OS.
Tu installes en choisissant autre chose, pas besoin de swap

Dernière modification par fernand1 (Le 06/01/2021, à 11:12)

TVG

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

1)    Pour cela il faudrait cocher la case formater.

Si je règle mes nouvelles partitions comme indiqué ici, il me semble que les anciennes partitions générées par Windows (celles-ci) seront formatées.

Merci pour les liens du swap mais je dois admettre que je n'ai pas le niveau pour comprendre tout ça. Je ne pense pas arriver au bout des 32 Mo de RAM de sitôt. Du coup je suppose que je n'ai pas besoin de créer de partition swap. Si je comprends bien, il y aura quand même un /swpafile qui sera créé automatiquement et dont la taille variera en fonction de mon utilisation de la RAM ? Du coup, pas trop besoin de m'occuper de tout ça ?

geole

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Le plus simple est de supprimer toutes les partitions présentes puis de fabriquer celles que tu désires. Lors de leurs créations, elles sont formatées.
Pas besoin de t'occuper du swap.

---

Les grilles de l'installateur https://doc.ubuntu-fr.org/tutoriel/inst … _subiquity
"gedit admin:///etc/fstab" est proscrit,  utilisez "pkexec env DISPLAY=$DISPLAY XAUTHORITY=$XAUTHORITY xdg-open /etc/fstab" Voir  https://doc.ubuntu-fr.org/gedit
Les partitions EXT4 des disques externes => https://forum.ubuntu-fr.org/viewtopic.p … #p22697248

TVG

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Parfait. Merci beaucoup !

TVG

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Petite question en plus : quand on télécharge un ISO de Ubuntu (pour faire une clé USB bootable), est-ce qu'on peut choisir/savoir quelle version du noyau Linux est utilisée ?

geole

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Pendant le téléchargement, tu ne peux pas savoir.
Mais lorsque le téléchargement est fini,  après avoir fait le contrôle  du checksum, tu peux te positionner dans le répertoire de téléchargement  et regarder ce que l'iso contient. Mais c'est sans intérêt puisque, rapidement, tu feras une mise à jour qui mettra rapidement un nouveau  noyau. Sinon

a@b:~/Téléchargements$ sudo mount -v  ubuntu-20.04.1-desktop-amd64.iso /mnt
mount: /mnt: WARNING: device write-protected, mounted read-only.
mount : /dev/loop11 monté sur /mnt.
a@b:~/Téléchargements$ cd /mnt
a@b:/mnt$ cat md5sum.txt | grep linux-image
adf415c7257803ed8d0ede4918365ef3  ./pool/main/l/linux-meta-oem-5.6/linux-image-oem-20.04_5.6.0.1020.17_amd64.deb
caedbc12ee4e7457278e5cd5cef76936  ./pool/main/l/linux-signed-oem-5.6/linux-image-5.6.0-1020-oem_5.6.0-1020.20_amd64.deb
a@b:/mnt$

Donc ici noyau 5.6.0

Dernière modification par geole (Le 06/01/2021, à 16:17)

---

Les grilles de l'installateur https://doc.ubuntu-fr.org/tutoriel/inst … _subiquity
"gedit admin:///etc/fstab" est proscrit,  utilisez "pkexec env DISPLAY=$DISPLAY XAUTHORITY=$XAUTHORITY xdg-open /etc/fstab" Voir  https://doc.ubuntu-fr.org/gedit
Les partitions EXT4 des disques externes => https://forum.ubuntu-fr.org/viewtopic.p … #p22697248

TVG

Re : [Résolu] Partitions EFI et swap pour Ubuntu 20.04

Super. Merci beaucoup !