Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
tutoriel:partitionner_manuellement_avec_installateur_ubuntu [Le 24/04/2019, 11:38] 77.198.25.197 [Partition boot (parfois nécessaire)] |
tutoriel:partitionner_manuellement_avec_installateur_ubuntu [Le 17/06/2020, 04:20] 50.64.161.254 [Partitions indispensables] orthographe |
||
|---|---|---|---|
| Ligne 53: | Ligne 53: | ||
| Dans certains cas des partitions de démarrage peuvent aussi se révéler indispensables. Voir paragraphes ci-dessous. | Dans certains cas des partitions de démarrage peuvent aussi se révéler indispensables. Voir paragraphes ci-dessous. | ||
| - | NOTA: A partir de la version 18.04, la partition SWAP n'est plus obligatoire. Si elle est absente, il y a création automatique d'un fichier de swap. | + | NOTA: À partir de la version 18.04, la partition SWAP n'est plus obligatoire. Si elle est absente, il y a création automatique d'un fichier de swap. |
| ==== Partition racine ==== | ==== Partition racine ==== | ||
| Ligne 231: | Ligne 231: | ||
| Il existe dans le menu Système->Administration du live-CD un autre utilitaire de partitionnement : [[:GParted]]. | Il existe dans le menu Système->Administration du live-CD un autre utilitaire de partitionnement : [[:GParted]]. | ||
| + | |||
| + | <note tip>A utiliser sans modération pour modifier la taille d'une partition mal calibrée lors d'une installation.</note> | ||
| ------ | ------ | ||
| //Contributeurs : [[:utilisateurs:AlexandreP]], eleon, [[:utilisateurs:YannUbuntu]], moko138 (doc anglophone tirée de ce document: [[https://help.ubuntu.com/community/DiskSpace|DiskSpace]])// | //Contributeurs : [[:utilisateurs:AlexandreP]], eleon, [[:utilisateurs:YannUbuntu]], moko138 (doc anglophone tirée de ce document: [[https://help.ubuntu.com/community/DiskSpace|DiskSpace]])// | ||