Discussion :

[Philippe Dpt35]

Bonjour,

Pour un besoin spécifique (script shell pour réaliser une image système de la carte SD d'un Raspberry), il me faut m'assurer que le chemin d'enregistrement choisi ne se trouve pas sur la carte mémoire elle-même mais bien sur un dispositif de stockage externe.
J'ai pensé interroger le résultat de la commande df en vérifiant que l'on retrouve bien l'un des chemins de montage d'un dispositif en /dev/sd.. sur le chemin d'enregistrement choisi.

Existe-t-il une commande permettant de savoir sur quel dispositif se trouve un répertoire ?
A défaut, quelqu'un aurait-il à proposer une solution plus simple que celle que j'envisage ?

[disedorgue]

Bonjour,

Peut-être:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

stat -L -c "%m" nom_du_fichier

Avec nom_du_fichier au sens large (fichier,répertoire,lien,fifo,...)
Cette commande ne te donnera pas le nom du device lui même mais le point de montage (dernière colonne de df).

[Philippe Dpt35]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

stat -L -c "%m" nom_du_fichier

Cela devrait effectivement faciliter la recherche de correspondances au sein de ce que renvoie df.

Pour obtenir les numéros de périphériques :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

stat --printf "%d %D %t %T\n" cible

Après recherches, parce que je ne maîtrise pas ces aspects, je ne vois pas comment exploiter cette information.
En effet, je ne trouve pas de correspondance entre ce que renvoie cette commande et ce que renvoie

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

ls -l /dev/sd*

ou ce que l'on trouve au sein de /proc (fichiers /proc/devices et /proc/partitions notamment)

[Flodelarab]

Les périphériques ont un numéro majeur et un numéro mineur.
Cela permet d'utiliser le bon pilote pour le bon périphérique (je crois).

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
$ stat --printf "%d %D %t %T\n" .
2055 807 0 0
$ stat --printf "%d %D %t %T\n" /
2054 806 0 0

Déjà, "2055" est suffisant pour différencier les périphériques.
Et les exclure.
Tu comprends que mon /home et ma racine / ne sont pas sur la même partition

Puis, "2055" est le décimal de "807" en hexadécimal.
Ce nombre est construit avec 8 (numéro majeur) et 7 (numéro mineur).

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
$ grep '\<8\>' /proc/devices                                                                                                                 
  8 sd

8 correspond aux périphériques sd.
C'est donc mon 7ème périphérique sd qui nécessite un numéro.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
$ lsblk
NAME    MAJ:MIN RM   SIZE RO TYPE MOUNTPOINT
sda       8:0    0 931,5G  0 disk
├─sda1    8:1    0   400M  0 part
├─sda2    8:2    0   300M  0 part /boot/efi
├─sda3    8:3    0   128M  0 part
├─sda4    8:4    0 356,3G  0 part
├─sda5    8:5    0   450M  0 part
├─sda6    8:6    0   100G  0 part /
├─sda7    8:7    0 358,4G  0 part /home
├─sda9    8:9    0   100G  0 part
└─sda10   8:10   0  15,5G  0 part
sr0      11:0    1  1024M  0 rom

Comme par hasard, c'est mon sda7.
Et sda6 est ma racine.

À noter que la numérotation n'a pas l'air systématique

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
$ stat --printf "%d %D %t %T\n" /dev/sr0
6 6 b 0

Le numéro majeur est bien 11.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
$ grep '\<11\>' /proc/devices
 11 sr

Mais le numéro de périphérique est 6.

Le 0, comme numéro de périphérique majeur, ou mineur, indique une allocation dynamique de numéro de périphérique.

[Philippe Dpt35]

Merci pour les précisions !

Dans ma recherche d'infos, j'avais bien lu ces explications de N° majeur et mineur, mais n'arrivais pas à les retrouver à travers les diverses infos.

Je viens de percuter qu'ils sont parfois donnés en décimal, parfois en hexadécimal.

Ainsi, quand j'avais

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
stat --printf "%d %D %t %T\n" /media/debian/PRIMTUX2/isolinux
2065 811 0 0

je ne faisais pas le rapprochement avec

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
ls -l /dev/sd*
brw-rw---- 1 root disk 8,  0 avril  2 06:16 /dev/sda
brw-rw---- 1 root disk 8,  1 avril  2 06:16 /dev/sda1
brw-rw---- 1 root disk 8,  2 avril  2 06:16 /dev/sda2
brw-rw---- 1 root disk 8,  5 avril  2 06:16 /dev/sda5
brw-rw---- 1 root disk 8, 16 avril  2 09:08 /dev/sdb
brw-rw---- 1 root disk 8, 17 avril  2 09:08 /dev/sdb1

en cherchant le 11 de 811 (info en hexadécimal) parmi des infos en décimal. Il fallait chercher 17 (10 + 1 en hexadécimal, soit 16 + 1 = 17) !

[disedorgue]

En fait, sous linux, df est suffisant si tu ne veux que le nom du device ou se trouve le répertoire:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

df --output=source nom_du_fichier | tail -1

[Flodelarab]

Bonjour

Pour obtenir les numéros de périphériques :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

stat --printf "%d %D %t %T\n" cible