Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
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 | ||
doc:systeme:find [09/12/2012 03:47] martin_mtl |
doc:systeme:find [09/12/2012 04:56] martin_mtl |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | //Page en cours de modification : 08 déc 12// | ||
+ | |||
====== Find ====== | ====== Find ====== | ||
Ligne 47: | Ligne 49: | ||
Prenons un autre exemple. | Prenons un autre exemple. | ||
- | Pour chercher tous les fichiers commençant par "''note''" et définir à partir de quel répertoire on souhaite effectuer la recherche on utilise cette syntaxe : | + | Pour chercher tous les fichiers commençant par //note// et définir à partir de quel répertoire on souhaite effectuer la recherche on utilise cette syntaxe : |
- | $find /home/martin -name '''note*''' | + | $find /home/martin -name 'note*' |
===== Recherche par nom simple & multiple ===== | ===== Recherche par nom simple & multiple ===== | ||
Ligne 56: | Ligne 58: | ||
Je cherche à trouver les répertoires archives dans /media/homebis | Je cherche à trouver les répertoires archives dans /media/homebis | ||
- | # find /media/homebis -type d -name archives | + | # find /media/homebis -type d -name 'archives' |
- | Première chose à noter, je me mets en root pour avoir accès à tous les répertoires. | + | Première chose à noter, il peut être nécessaire de se mettre en root pour avoir accès à tous les répertoires. |
Dans ce cas-ci, je demande donc à **find** de trouver les répertoires | Dans ce cas-ci, je demande donc à **find** de trouver les répertoires | ||
- option : -type | - option : -type | ||
- argument : "d" (comme "directory") | - argument : "d" (comme "directory") | ||
- | indiquent que l'on cherche un répertoire du nom de '''archives''' à partir du répertoire /media/homebis. | + | indiquant que l'on cherche un répertoire du nom de //archives// à partir du répertoire /media/homebis. |
La réponse : | La réponse : | ||
Ligne 71: | Ligne 73: | ||
/media/homebis/Documents_gr/archives | /media/homebis/Documents_gr/archives | ||
/media/homebis/Documents_gr/mes_fichiers/archives | /media/homebis/Documents_gr/mes_fichiers/archives | ||
+ | |||
+ | Autre exemple un peu plus complexe cette fois. Je désire faire une recherche de tous les fichiers audio de type .mp3 et .ogg | ||
+ | |||
+ | Il existe plus d'une façon d'y arriver. Voyons comment on peut s'y prendre. | ||
+ | |||
+ | Première façon : | ||
+ | find /home/martin/ \( -name '*.mp3' -o -name '*.ogg' \) | ||
+ | |||
+ | Cela me donnera toute une liste de fichiers /home/martin/... | ||
+ | |||
===== Filtrer en fonction des droits ===== | ===== Filtrer en fonction des droits ===== |