(→Exclure une arborescence de la recherche) |
|||
| Ligne 13 : | Ligne 13 : | ||
Ici, si une partition /home existe et est monté, la recherche ne se fera que dans cette partition et tout ses sous répertoires. | Ici, si une partition /home existe et est monté, la recherche ne se fera que dans cette partition et tout ses sous répertoires. | ||
| - | ===Exclure une arborescence de la recherche=== | + | ===Exclure une arborescence de répertoire de la recherche=== |
Pour exclure un répertoire et tout ses sous répertoires les options -path et -prune sons nécessaire. | Pour exclure un répertoire et tout ses sous répertoires les options -path et -prune sons nécessaire. | ||
l'option -mount, anciennement -xdev permet de ne pas descendre dans un répertoire ou un sous répertoire d'un autre File System.
find / -mount -name 'toto.txt'
Cette commande ne recherchera que dans la partition racine et tout ses sous répertoires le fichier appelé toto.txt.
find /home -mount -name 'toto.txt'
Ici, si une partition /home existe et est monté, la recherche ne se fera que dans cette partition et tout ses sous répertoires.
Pour exclure un répertoire et tout ses sous répertoires les options -path et -prune sons nécessaire.
find / -path '/dev' -prune -o -path '/home' -prune -o -name 'tty*'
Cette commande ne fera pas la recherche du fichier commençant pat tty dans les répertoires '/dev' et '/home' et leurs sous répertoires.