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 | ||
mount_fstab [Le 02/11/2019, 01:20] jamesbad000 Précisions et amélioration de la présentation |
mount_fstab [Le 06/08/2020, 19:26] 91.170.213.212 [Note sur les UUIDs] |
||
---|---|---|---|
Ligne 70: | Ligne 70: | ||
/dev/sdb1: LABEL="Home" UUID="2c313d40-6bdc-4e42-917a-b04f88764aac" UUID_SUB="c21f5351-4022-41af-b504-6b59b455bf23" TYPE="btrfs" | /dev/sdb1: LABEL="Home" UUID="2c313d40-6bdc-4e42-917a-b04f88764aac" UUID_SUB="c21f5351-4022-41af-b504-6b59b455bf23" TYPE="btrfs" | ||
</code> | </code> | ||
+ | On peut aussi taper la commande : | ||
+ | <code>sudo lsblk -f</code> | ||
+ | qui donne sensiblement les mêmes résultats : | ||
+ | <code>NAME FSTYPE LABEL UUID FSAVAIL FSUSE% MOUNTPOINT | ||
+ | sda | ||
+ | ├─sda1 ntfs WIN10 6C8CA3038CA2C6C4 | ||
+ | ├─sda2 ext4 MINT 727a95e9-70a4-4d6e-a739-cb884c4188df 19,1G 40% / | ||
+ | ├─sda3 ext4 HOMEMINT 4bdc4735-801e-43fe-b3f1-58fd832638f5 23,6G 71% /home | ||
+ | └─sda4 ext4 DATAS ca07415a-2704-497f-8091-1d9a4a58f3d0 297,2G 43% /media/DATAS</code> | ||
Ainsi, dans votre fstab, les trois lignes suivantes sont équivalentes :\\ | Ainsi, dans votre fstab, les trois lignes suivantes sont équivalentes :\\ | ||
<file> | <file> | ||
Ligne 175: | Ligne 184: | ||
Ici, le disque principal est sda7, et son swap est sda6. Ces lignes ont été créées par l'installateur. Les partitions additionnelles montées sont sda5 et sda8, et on été ajoutées à la main. | Ici, le disque principal est sda7, et son swap est sda6. Ces lignes ont été créées par l'installateur. Les partitions additionnelles montées sont sda5 et sda8, et on été ajoutées à la main. | ||
- la colonne **<file system>** indique la partition elle-même. Il y a plusieurs solutions, mais les 2 principales sont : | - la colonne **<file system>** indique la partition elle-même. Il y a plusieurs solutions, mais les 2 principales sont : | ||
- | - l'UUID ([[https://fr.wikipedia.org/wiki/Universal_Unique_Identifier|Universal Unique Identifier]]) de la partition. Celle-ci sera obtenue via un **sudo blkid**, via [[gnome-disk-utility|gnome-disk]], ou via [[gparted|gparted]]. Un UUID resemble à cela **UUID=2c442228-1991-48c7-bad9-a80dfc8267cf** | + | - l'UUID ([[https://fr.wikipedia.org/wiki/Universal_Unique_Identifier|Universal Unique Identifier]]) de la partition. Celle-ci sera obtenue via un **sudo blkid**, via [[gnome-disk-utility|gnome-disk]], ou via [[gparted|gparted]]. Un UUID ressemble à cela **UUID=2c442228-1991-48c7-bad9-a80dfc8267cf** |
- | - la référence directe à la partition sous la forme **/dev/sda2** ou **/dev/sdb2** (**sd** signifie disque dur, la lettre est l'ordre du disque dans le boot, et le N° est celui de la partition. **/dev/sdb2** est donc la 2e partition du 2e disque dur). Inconvénient de cette méthode : si vous changez le 1er disque de démarrage dans le boot, la signification de sdb2 (par exemple) changera en même temps. l'UUID est donc un identifiant plus stable et plus sur. | + | - la référence directe à la partition sous la forme **/dev/sda2** ou **/dev/sdb2** (**sd** signifie disque dur, la lettre est l'ordre du disque dans le boot, et le N° est celui de la partition. **/dev/sdb2** est donc la 2e partition du 2e disque dur). Inconvénient de cette méthode : si vous changez le 1er disque de démarrage dans le boot, la signification de sdb2 (par exemple) changera en même temps. l'UUID est donc un identifiant plus stable et plus sûr. |
- la colonne **<mount point>** indique un répertoire quelconque sur la partition principale, et qui servira de point de montage. Pour la partition principale elle-même, c'est évidemment "**/**" (la racine). Pour une partition montée additionnelle, on choisit en général (ce n'est pas un emplacement obligatoire) un répertoire /media/xxx (où **xxx** est le nom que vous choisissez pour la partition de montage). Vous devez créer manuellement cette partition de montage __une fois pour toutes__ par un **sudo mkdir /media/xxx**. Laissez-la vide, et n'y touchez plus jamais. Elle sert juste d'ancrage au fstab pour son montage. | - la colonne **<mount point>** indique un répertoire quelconque sur la partition principale, et qui servira de point de montage. Pour la partition principale elle-même, c'est évidemment "**/**" (la racine). Pour une partition montée additionnelle, on choisit en général (ce n'est pas un emplacement obligatoire) un répertoire /media/xxx (où **xxx** est le nom que vous choisissez pour la partition de montage). Vous devez créer manuellement cette partition de montage __une fois pour toutes__ par un **sudo mkdir /media/xxx**. Laissez-la vide, et n'y touchez plus jamais. Elle sert juste d'ancrage au fstab pour son montage. | ||
- La colonne **<type>** donne le type de système de fichiers de la partition montée. Pour une partition linux, c'est souvent ext4. | - La colonne **<type>** donne le type de système de fichiers de la partition montée. Pour une partition linux, c'est souvent ext4. | ||
Ligne 192: | Ligne 201: | ||
Lorsqu'un système de fichiers (partition) est présent dans le fichier /etc/fstab, il est monté automatiquement au démarrage de la machine. \\ | Lorsqu'un système de fichiers (partition) est présent dans le fichier /etc/fstab, il est monté automatiquement au démarrage de la machine. \\ | ||
- | Les utilisateurs peuvent également le démonter manuellement ou le monter en tapant **unmount** ou **mount /media/xxx** (où **xxx** est le nom de votre répertoire de montage). \\ | + | Les utilisateurs peuvent également le démonter manuellement ou le monter en tapant **umount** ou **mount /media/xxx** (où **xxx** est le nom de votre répertoire de montage). \\ |
==== Utilisation avancée ==== | ==== Utilisation avancée ==== |