Forum-Francophone-LinuxMint.fr

Bonjour,
J'avais installé ubuntu il y a une quinzaine d'années. Et j'ai choisi linux mint pour mettre un OS linux en dual boot avec windows 10 qui ne sera plus maintenu dès oct 2025.
Ma question porte sur le partitionnement. Je ne suis pas un spécialiste de la chose.
Le PC sur lequel je souhaite installer linux mint contient 16 Go de RAM, un disque SSD de 256 Go et un boot UEFI.
Le disque est un disque SSD. Faut-il le défragmenter avant d'installer linux mint ?
Je pense découper ainsi . Qu'en pensez-vous ?
/ (racine) : 20 Go. ? Format : ext4.
/swap (mémoire virtuelle) : est-elle nécessaire étant donné que j'ai 16Go de RAM
/home (données personnelles) : fichiers personnels./ Format : ext4.
/boot/efi (car j'ai un système UEFI ) : il y a 99 Mo alloués sur windows. Est-ce que linux mint va utiliser cette partition existante ? donc je suppose qu'il ne faut pas y toucher ?
Merci à la communauté.

Bonjour
Il n'y a pas besoin de swap, si elle existe, tu peux la laisser, mais si l'installateur ne la voit pas, il va créer un fichier swap.img chez moi 4 Go).
Avec plusieurs systèmes sur un petit disque, si l'espace est précieux, il vaut mieux une partition swap, comme elle sert à plusieurs systèmes, elle ne représentera que 4 Go, alors que le swap.img c'est 3 x 4 Go.
Perso, j'ai résolu le problème en le déplaçant sur ma data et j'ai fait des liens vers ce fichier swap.img
Ta partition système de 20 Go est trop petite, mets au minimum 30 Go, surtout si ce fichier swap de 4 Go est présent.

Ta partition Efi parait petite aussi, mais ça dépend peut-être n'est-elle pas trop encombrée
Oui Linuxmint va la prendre comme EFI

donne le retour de

Salut,

l'installateur de Linux Mint permet d'installer Linux Mint en double amorçage avec Windows. C'est automatique.

Pour la racine (/), 20-30Go est suffisant si tu n'envisages pas d'installer de gros logiciels. Avec 16Go de ram, la swap n'est pas nécessaire. Le reste pour le /home. Pour la partition EFI, il faut au moins 537Mo d'espace en fat32 (c'est le choix par défaut de Linux Mint). Ext4 est un très bon choix comme système de fichiers pour la partition racine, et la partition /home.

!!! Ne surtout pas défragmenter un SSD !!! Après installation de Linux Mint sur le SSD, vérifier que le TRIM (fstrim) est activé, et j'ajoute l'option 'noatime' dans le fichier /etc/fstab pour la partition racine, et la /home (si elle existe).

Bonjour
Merci pour vos réponses. J'ai appliqué la commande "df -Th" sur le PC en passant par une clé USB bootable ubuntu car je n'ai pas encore installé linux. Voir l'image jointe.


Si j'interprète correctement le résultat, la partition UEFI qui a une taille de 100 Mo, est occupée à 37%. A droite, il est écrit "mounted on media / ubuntu/System". Mounted signifie, je suppose, que la partition UEFI est repérée par la clé USB grâce à ce chemin.
Faut-il que j'augmente la taille de la partition UEFI ? Est-ce que le programme d'installation de linux mint le fait tout seul ?
Merci.

256 GO c'est bien le total du disque ? Ça ne fait pas beaucoup pour un dual-boot. Windows 10 consomme déjà entre 30 et 40 GO avec quelques logiciels "de base" installés. Tu as certainement gardé de l'espace pour tes fichiers personnels. Une installation Mint c'est un peu moins de 10 GO. Après si tu veux faire un Timeshift (une sauvegarde du système), ça va quasiment multiplier par deux l'espace occupé (à ce propos, une fois installé, vérifie les paramètres du Timeshift pour voir si ils ne sont pas définis pour sauvegarder à intervalles réguliers ; car avec 30 GO de définis, ça va vite se remplir).

Pour l'EFI, comme j'ai fait une installation manuelle, j'ai défini l'espace à une cinquantaine de MO (l'installateur indiquait qu'il fallait au minimum 44 MO) pour une occupation effective de 6.4 MO. Le système / est occupé par 24.7 GO dont environ la moitié pour l'instantané Timeshift.



Désolé pour l'hébergeur d'images indépendant, mais la fonction d'incorporation du forum plante au chargement.

Dans le cas d'un problème d'espace disque, il est judicieux de faire une partition de données commune aux deux systèmes, avec des liens vers le dossier perso, c'est très appréciable d'avoir les mêmes données disponibles sur les deux OS
Soit avec une partition séparée, soit en mettant des liens vers la partition Windows

La taille de la partition efi serait plus grandes se serait pas plus mal, mais je pense que la taille actuelle peut convenir.
Sur un de mes pc ma partition EFI fait 100 Mo, 35 Mo occupés, pourtant j'ai 4 OS, 1 Windows 10 et 3 Linux
Pour faire un test, j'ai cloné mon disque et sur le clone, j'ai supprimé la partition Windows et un Linux, et dans /boo/efi/Efi, j'ai supprimé le répertoire Microsoft ma partition ne fait que quelques Mo et ça démarre.

Je ne suis pas très au fait de ça : la partition efi gonfle donc en fonction du nombre d'OS installés ?

je suppose que chaque OS ajoute ses lignes dans le fichier EFI pour permettre le démarrage. Ou alors que chaque OS ajoute son fichier dans la partition EFI. A vérifier.

Oui à l'installation chaque système mets son petit truc dans la partition EFI , mais pas lourds, pour les deux Linux qui restent sur mon disque, c'est moins de 10 Mo, j'ai simplement supprimé le répertoire microsoft (25 Mo).