Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

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
partitions [Le 30/01/2018, 12:45]
81.82.245.23 [Règle de dénomination]
partitions [Le 10/06/2018, 19:47]
88.191.8.176 [La table des partitions : un schéma des partitions d'un disque]
Ligne 30: Ligne 30:
 On comprend donc que, pour être utilisé, un disque dur doit impérativement être partitionné (c'​est-à-dire qu'on lui attribue une ou des partitions). Un disque __doit__ être divisé en //au moins une// partition (soit une zone d'​organisation occupant la totalité de l'​espace de stockage disponible). L'​attribution d'une seule partition dans l'​ensemble du disque dur peut être pratique dans certains cas, comme un disque dur de stockage interne ou externe. Dans d'​autres cas, comme l'​installation d'une distribution GNU/Linux, cela devient limitatif. On comprend donc que, pour être utilisé, un disque dur doit impérativement être partitionné (c'​est-à-dire qu'on lui attribue une ou des partitions). Un disque __doit__ être divisé en //au moins une// partition (soit une zone d'​organisation occupant la totalité de l'​espace de stockage disponible). L'​attribution d'une seule partition dans l'​ensemble du disque dur peut être pratique dans certains cas, comme un disque dur de stockage interne ou externe. Dans d'​autres cas, comme l'​installation d'une distribution GNU/Linux, cela devient limitatif.
 ==== La table des partitions : un schéma des partitions d'un disque ==== ==== La table des partitions : un schéma des partitions d'un disque ====
-Chaque disque dispose d'une "table de partitions",​ elle est située au début du disque. Elle contient les informations relatives à chacune des partitions (du disque). Parmi les informations de la table de partitions, on retrouve entre autre la taille de chaque partition, l'​endroit où chacune d'​elles se trouve dans le disque et chacun de leur système de fichiers.+Chaque disque dispose d'une "table de partitions",​ elle est située au début du disque. Elle contient les informations relatives à chacune des partitions (du disque). Parmi les informations de la table de partitions, on retrouve entre autres ​la taille de chaque partition, l'​endroit où chacune d'​elles se trouve dans le disque et chacun de leur système de fichiers.
  
 Il existe plusieurs normes de tables de partitions, appropriées pour différents types de supports physiques. En ce qui concerne les disques durs, les disques SSD et les clés USB, deux normes cohabitent : Il existe plusieurs normes de tables de partitions, appropriées pour différents types de supports physiques. En ce qui concerne les disques durs, les disques SSD et les clés USB, deux normes cohabitent :
Ligne 111: Ligne 111:
 Par défaut une partition ext4 va se réserver 5% d'​espace pour //root// afin d'​éviter que le système ne "​meure"​ parce qu'un utilisateur a consommé toute la place. Si votre disque est petit cela ne comporte guère d’inconvénient,​ mais si vous avez une partition de plusieurs centaines de gigas, la perte de place est tout de même importante. Pour diminuer ce pourcentage vous pouvez entrez dans un [[:​terminal]] cette commande:<​code>​sudo tune2fs -m 1 /​dev/​votre_partition</​code>​ Par défaut une partition ext4 va se réserver 5% d'​espace pour //root// afin d'​éviter que le système ne "​meure"​ parce qu'un utilisateur a consommé toute la place. Si votre disque est petit cela ne comporte guère d’inconvénient,​ mais si vous avez une partition de plusieurs centaines de gigas, la perte de place est tout de même importante. Pour diminuer ce pourcentage vous pouvez entrez dans un [[:​terminal]] cette commande:<​code>​sudo tune2fs -m 1 /​dev/​votre_partition</​code>​
 Le //1// désigne le pourcentage attribué à //root//, vous pouvez choisir une autre valeur si celle-ci vous semble trop faible. Pensez aussi à adapter le chemin vers votre disque (/​dev/​votre_partition) à votre [[#Règle de dénomination|nom de partition]]. Le //1// désigne le pourcentage attribué à //root//, vous pouvez choisir une autre valeur si celle-ci vous semble trop faible. Pensez aussi à adapter le chemin vers votre disque (/​dev/​votre_partition) à votre [[#Règle de dénomination|nom de partition]].
 +
 +Si la partition ne contient pas le répertoire /root, immédiatement après la création, il est possible de faire la commande <​code>​sudo tune2fs -m 0 /​dev/​votre_partition</​code>​
 +sans attendre le manque effectif de place qui peut se traduire par une copie interrompue inutilement.
  
 ===== Pages en lien avec le sujet ===== ===== Pages en lien avec le sujet =====
  
 {{backlinks>​partitions}} {{backlinks>​partitions}}
  • partitions.txt
  • Dernière modification: Le 03/10/2018, 18:42
  • par L'Africain