cClaude.rocks ☕ Le blog

Ajouter la prise en charge du système de fichiers exFAT sur Linux et plus précisément sur Raspberry Pi OS, cependant ce billet devrait être valide pour toute machine Linux dérivée de Debian.

exFAT (Extended File Allocation Table) est un format de système de fichiers propriétaire développé par Microsoft, conçu pour être optimal pour les mémoires flash telles que les clés USB et les cartes SD.

Ce format est protégé par un brevet appartenant à Microsoft. Du fait de ce brevet, il ne peut pas devenir une partie officielle de Linux. Notez que Samsung a publié une implémentation directement dans noyau Linux. En raison de cette limitation légale, l’implémentation de la prise en charge du système de fichiers exFAT doit se faire d’une autre manière.

FUSE (Filesystem in Userspace) est une interface logicielle pour les systèmes d’exploitation Unix qui permet aux utilisateurs sans privilèges de créer leurs propres systèmes de fichiers sans modifier le code du noyau. Ceci est réalisé en exécutant le code du système de fichiers dans l’espace utilisateur tandis que le module FUSE ne fournit qu’un « pont » vers les interfaces réelles du noyau.

Et très naturellement FUSE permet d’ajouter le support du format exFAT sans avoir à recompiler le noyau.

Installation

Avant de commencer à ajouter la prise en charge de exFAT à votre machine, assurez-vous d’avoir un système d’exploitation parfaitement à jour.

sudo apt-get update && sudo apt-get upgrade

Les deux paquets nécessaires sont exfat-fuse et exfat-utils. Ces deux packages fonctionnent ensemble pour permettre au système d’exploitation de communiquer avec des disques durs au format exFAT.

• Exfat-fuse fonctionne comme un module du logiciel FUSE qui permet au système d’exploitation de monter et d’interpréter des lecteurs exFAT sans nécessiter de privilèges supplémentaires.

• Exfat-utils fournit tous les utilitaires dont vous avez besoin pour pouvoir gérer le format exFAT, y compris la possibilité de formater les disques sur vos appareils Linux.

Pour installer ces deux paquets, utiliser la commande suivante :

sudo apt install -y exfat-fuse exfat-utils

Montagne manuel d’un lecteur exFAT (optionnel)

Raspberry Pi OS et Raspbian devraient détecter et monter automatiquement vos lecteurs exFAT après l’installation des deux packages précédents. Cependant, il se peut que vous souhaitiez les monter manuellement.

Le montage d’un lecteur exFAT ne se fait pas exactement de la même manière que vous monteriez une autre partition.

Il faut utiliser l’argument -t exfat pour indiquer à la commande mount de reconnaître le système de fichiers exFAT.

Pour commencer, vous besoin d’un dossier dans lequel vous monterez les disques souhaités. Ici, nous utiliserons /media/exfat, c’est une convention.

Créez ce nouveau dossier depuis ce terminal, à l’aide de :

sudo mkdir /media/exfat

La seconde partie consiste à monter le lecteur dans ce répertoire. Il vous faut au préalable trouver trouvé ou se trouve le périphérique.

Imaginons que l’appareil soit disponible sous /dev/sdb1, dans ce cas la commande de montage sera :

sudo mount -t exfat /dev/sdb1 /media/exfat

L’accès de la partition présente sur l’appareil se fait en utilisant l’emplacement : /media/exfat.

Dans notre exemple :

• /dev/sdb1 est le chemin d’accès au périphérique (chemin réservé au système),
• /media/exfat est le chemin d’accès à la partition, utilisable par n’importe quel programme.

Pour trouver le chemin d’accès au périphérique, vous pouvez utiliser, si la partition est déjà montée :

df -h

Si ce n’est pas le cas, vous devrez utiliser la commande :

sudo blkid

Mais vous pouvez également utiliser lsblk:

Tous simplement, depuis un terminal, en utilisant :

lsblk

Par exemple, sur un Raspberry vous obtiendrez ceci avant de mettre votre clé USB :

NAME        MAJ:MIN RM  SIZE RO TYPE MOUNTPOINT
mmcblk0     179:0    0 29.7G  0 disk
├─mmcblk0p1 179:1    0  256M  0 part /boot
└─mmcblk0p2 179:2    0 29.5G  0 part /

Et cela après que la clé USB soit insérée :

NAME        MAJ:MIN RM  SIZE RO TYPE MOUNTPOINT
sda           8:0    1 58.6G  0 disk
└─sda1        8:1    1 58.6G  0 part
mmcblk0     179:0    0 29.7G  0 disk
├─mmcblk0p1 179:1    0  256M  0 part /boot
└─mmcblk0p2 179:2    0 29.5G  0 part /

Dans ce cas, le chemin vers la clé USB est ‘/dev/sda’ et vers la partition brute ‘/dev/sda1’. C’est cette seconde valeur que vous devez utiliser pour monter votre clé.

La valeur que vous rechercher être probablement donnée par :

lsblk --all --json | jq -r '.blockdevices[] | select(.type=="disk") | .children // empty | .[] | select(.mountpoint==null) | "/dev/" + .name'

Montage automatique d’un lecteur exFAT (très optionnel)

ATTENTION : Assurez-vous de sauvegarder le fichier /etc/fstab, car une erreur peut vous empêcher de redémarrer votre machine. Sur un Raspberry Pi utilisant une SD, vous pourrez utiliser une autre machine pour restaurer le fichier.

Si vous souhaitez que le lecteur soit automatiquement monté au démarrage, vous devez modifier le fichier /etc/fstab.

Avant, vous devrez récupérer l'UUID du périphérique, cela se fait à l’aide de la commande :

sudo blkid

Pour éditer le fichier, utiliser la commande suivante :

sudo nano /etc/fstab

Imaginons l’UUID soit DEAD-F00D, il faut ajouter la ligne suivante :

UUID=DEAD-F00D /media/exfat exfat defaults,auto,umask=000,users,rw 0 0

Les paramètres sont à adapter en fonction de vos besoins.

Formatage d’un disque en exFAT (très optionnel)

Si vous souhaitez formater votre lecteur au format exFAT, vous pouvez le faire en utilisant un logiciel fourni dans le package exfat-utils.

Ce logiciel s’appelle mkfs.exfat, pour l’utiliser, vous devez spécifier un emplacement du lecteur(périphérique) et cela se fait comme suit :

mkfs.exfat /dev/sdb1

Une fois cette commande terminée, votre lecteur sera désormais formaté exFAT.

ATTENTION : Gardez à l’esprit que le formatage d’un disque effacera tout ce qu’il contient. Ne vous trompez pas de chemin ! – Pensez à vérifier en utilisant lsblk.

Références

• Page Wikipédia de FUSE,
• Raspberry Pi exFAT: Adding Support for exFAT File System,
• Raspberry Pi Mount a USB Drive Tutorial.

ᦿ