Re: Re : table de partition pour l'installation de Debian 12
Le 01/06/2025 à 02:35, k6dedijon@free.fr a écrit :
La partition vide est préconisée par certaines distribution.
En général, peu de distribution indique combien celle -ci doit faire.
Mail lors d’un essai d’une distribution l’installateur m’a mis un message demandant qu’il y ait 300Mo mini.
Donc, depuis je mets cette valeur lorsque je veux installer un multi-boot sur un disque.
Je ne suis pas sur de bien comprendre ce que tu appelle "partition vide".
Si c'est la ligne :
sans numéro 1,0 mega espace libre
ce n'est pas une partition mais un espace vide non partitionné. C'est
pour ca qu'il n'y a pas de numero de partition attribué. Cet espace
n'est pas utilisé du tout et ne sers qu'a faire en sorte que le début de
la première partition soit aligné sur un nombre de secteurs entier.
Si c'est la ligne :
numéro 1 536,9 mega B f ESP
alors ce n'est pas une partition vide. C'est la partition qui sert a
booter quand on est en mode UEFI. C'est cette partition qu'il est
recommandé d'avoir d'au moins 300 Mo.
Pour la partition de démarrage, elle se compose de deux éléments :
Une partie pour le BOOT et une partie pour l’UEFI (ou EFI)
Ca c'est si tu fais une partition indépendante pour le dossier /boot.
Mais ce n'est pas obligatoire et ce n'est pas ce que je recommande pour
un usage bureautique.
La partie BOOT doit faire 500Mo à minima car certaines mise à jour nettoient mal le noyau précédent et au bout d’un bout de temps tu as un message disant qu’il n’y a plus assez de place pour démarrer ou pour faire la mise à jour.
Il faut donc penser surveiller cette partition pour n’avoir qu’un ou deux noyaux.
Savoir gérer deux noyaux permet de choisir sur lequel démarrer lorsque une mise à jour s’est mal passée. En repartant sur un noyau ancien (attention pas top ancien quand même), on peut remettre le noyau récent en état de marche avec les mises à jour depuis le noyau gardé en secours pour cela.
Cette partition peut être formatée selon ton souhait : ext4, btrfs, ...
Si tu ne fais pas de partition dédiée au boot, alors le dossier /boot va
etre un dossier normal dans la partition racine et tu n'aura pas ce
problème.
Dans tous les cas tu peux avoir des soucis a cause de la partition
racine qui se remplit petit a petit au fur a mesure des mises a jour,
mais ce remplissage se passe dans le dossier /var/cache/apt/archives.
Pour y remédier il suffit de lancer de temps en temps les commandes :
apt-get --purge autoremove
apt-get clean
Pour éviter d'oublier de le faire, je les ai mises dans un script que
j'ai mis dans anachron pour qu'il soit lancé automatiquement tous les mois.
La partie UEFI (/boot/efi) doit faire 300Mo et doit porter l’étiquette ESP (en majuscules) et être formatée en fat 16, fat32 ou vfat.
Préfère le FAT32. Le vfat n'est pas un format mais un pilote permettant
a linux d'aller lire et écrire le FAT16 ou le FAT32.
En cas d’installation pour un multi-boot, il faut prévoir 750Mo à 1Go pour héberger les différents noyaux propres à chaque distro.
Non. Les noyaux des différentes distribs sont dans les dossiers /boot de
chaque distrib. Dans la partition EFI il n'y a que des petits fichiers
indiquant a quel endroit aller chercher l'image du lanceur de la distrib
(pour linux en général c'est GRUB). Ce lanceur est lui aussi dans le
dossier /boot de chaque distrib. C'est ensuite ce lanceur qui va aller
chercher l'image du noyau dans le dossier /boot.
Meme pour du multi-boot une partition EFI de 500 M est bien suffisante.
Pour la racine (/), tout dépend de ce que tu fais. Si tu as besoin de polices de caractères, si tu as besoin de logiciels pour le graphisme, le son, … 25Go est trop court.
Pour ma part, utilisant ce que j’ai écris ci-dessus, je mets 45Go et j’arrive rien qu’après instaalation 75 % d’occupation. Et en utilisation je suis vers 85 à 90 %, ce qui laisse de la place pour la corbeille et certains fichiers temporaires nécessaires aux logiciels.
Ouah, j'ai jamais vu d'install qui replissent autant la partition
racine. Merci pour ce retour d'expérience, j'en prend note.
Pour le /home, ayant eu de nombreux déboires, j’ai trouvé une solution pour éviter le principal inconvénient, c’est dire perdre mes données personnelles.
Je fais une partition /home de 25Go.
Cette partition contiendra mes données de configuration et servira de tampon pour les logiciels difficilement paramétrables.
J’ai donc :
/home
/home/user1 (contient les donn ées de configurations en fichiers cachés et certaines données temporaires aussi en fichiers cachés)
/home/user1/Documents
/home/user1/Images
/home/user1/Musique
/home/user1/Publique
/home/user1/Téléchargemets
/home/user1/Vidéo
Dans mon organisation ces répertoires doivent être vides. Malheureusement, certains téléchargements vont dans ces dossiers sans me donner la possibilité de choisir où je souhaite les mettre. Donc, tous les jours, ou deux jours selon mon emploi du temps, je balaie ces dossirs pour ventiler ce qu’ils contiennent.
J’ai maintenant pris l’habitude de créer un répertoire :
/home/user1/données personnelles/
Je branche ce répertoire une partition indépendante ou à un autre disque.
Comme son nom l’indique, je mets dans ce répertoire (partition indépendante) toutes mes données, documents, sons, vidéos, …
En cas de crash, cette partition ou disque est facilement isolable pour la copier sur un disque externe et je ne perds plus mes données. La seule contrainte est de bien formater le nom des fichiers afin de ne pas avoir de messages d’erreur lors de la copie.
Mais ceci est un autre chapitre.
Je vois. Mais je ne comprend pas.
Je fais juste une partition /home et en cas de crash elle est tout aussi
facile a isoler pour la copier ailleurs. Ce que tu fais rajoute de la
complexité et des defauts mais je ne vois pas en quoi ca améliore la
récupération en cas de souci. Est-ce que tu peux détailler un peu plus
les déboires que tu a eu ?
Il est de plus en plus a la mode de ne pas faire de partition /home
séparée et de mettre tout en vrac (système et données perso) dans une
seule partition. Je ne fais pas ca, et en effet c'est parce que :
- les crash sont beaucoup plus souvent dans la partie système
- ca complique beaucoup la récupération en cas de crash
Par contre séparer les fichiers cachés de configuration des logiciels
des données perso… je ne vois pas l'interet. Du moment qu'il y a une
partition /home séparée, ce que tu dis pour ta partition
/home/user1/données personnelles/ est tout aussi valable pour la
partition /home elle meme.
J'ajoute que nommer un dossier sur lequel on monte une partition avec un
accent et un espace dans le nom… c'est assez facétieux. C'est toi meme
qui disait de faire attention au nom des fichiers.
Si tu veux continuer a faire ton système, je peux te dire quelques trucs :
- Tu peu définir dans le fichier /home/user1/.config/user-dirs.dirs a
quel endroit tu veux que soient les dossiers bureau, documents,
téléchargements, images, musiques, vidéos, etc… Tu peux ainsi avoir ces
dossiers sur la partition que tu veux et non pas forcément dans le
dossier personnel.
- Déplacer tous les 2 ou 3 jours tes affaires dans une autre partition,
c'est fastidieux et ca ne te protège pas d'un crash sévère sur cette
autre partition. Il serait plus malin de copier tes affaires sur un
autre support (par exemple un autre disque) afin de tout avoir sur 2
supports différents. Ainsi, si un support meurt inopinément et
définitivement, tu aura tout sur l'autre. On appelle ca "faire des
sauvegardes". La règle c'est : "tout ce qui n'est pas au moins en double
sera perdu un jour". Et pour les sauvegardes, y'a des logiciels qui
permettent de les automatiser, histoire de pas oublier de les faire.
Pour sauvegarder, je recommande donc de copier carrément le dossier
personnel (/home/user1). Les fichiers cachés viendront avec mais c'est
pas genant parce que ca pese pas lourd et c'est utile parce que des
données personnelles s'y cachent par ci par la sans que je sois capable
d'en faire une liste exhaustive (voir ci dessous).
- Tu a l'air de vouloir séparer les trucs de configuration des logiciels
et tes affaires. Je comprend cela et j'ai la meme tentation.
Malheureusement les choses ne sont pas faites pour permettre de le faire
bien. Par exemple si tu utilise thunderbird, tes mails, tes carnets
d'adresses, tes agendas, sont dans le dossier /home/user1/.thunderbird.
Par exemple si tu utilise firefox, tes marque pages, ton historique de
navigation, tes mots de passe enregistrés sont dans le dossier
/home/user1/.mozilla. Est-ce que tu pense a copier tout ca sur ta
partition séparée tous les 2 ou 3 jours ? Ou bien est-ce que tu
considère que tes mails et tes marque pages c'est pas des données
personnelles et que ca peut bien etre perdu en cas de crash ?
Je mets aussi une autre partition pour partager des fichiers.
Le faisant depuis peu, je n’ai pas de retour pertinent faire.
Pour le momemt, je la monte sur :
/home/user1/Partage/ et j’y consacre 150Go.
Cela me permet de partager des fichiers de 20 à 50Go facilement.
Tu n'en a pas dit assez. Partager avec qui ? Partager comment ? Partager
avec d'autres utilisateurs du meme ordi ? Partager avec des gens qui
sont ailleurs sur internet ?
Reply to: