Outils pour utilisateurs

Outils du site


recherche_ubuntu

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Both sides previous revision Révision précédente
recherche_ubuntu [2018/09/06 18:23]
g.rnd@free.fr [grep]
recherche_ubuntu [2019/03/06 14:58] (Version actuelle)
g.rnd@free.fr [find]
Ligne 110: Ligne 110:
   *  __Recherche avancée__. Préciser l'​arborescence à explorer:   *  __Recherche avancée__. Préciser l'​arborescence à explorer:
 <​file>​sudo find /home/ -name <​monfichier> ​ #  Recherche le fichier "​monfichier"​ dans tous les répertoires de /​home/</​file>​ <​file>​sudo find /home/ -name <​monfichier> ​ #  Recherche le fichier "​monfichier"​ dans tous les répertoires de /​home/</​file>​
-<note important>​Ajouter sudo pour résoudre les problèmes de droit</​note>​+<note important>​Ajouter ​**sudo** pour résoudre les problèmes de droit</​note>​
   * __Options les plus courantes__   * __Options les plus courantes__
     * **-name** Recherche par nom de fichier     * **-name** Recherche par nom de fichier
     * **-type d** Recherche par nom des répertoires (find . -type d -name nom*)     * **-type d** Recherche par nom des répertoires (find . -type d -name nom*)
     * **-user** ​  ​Recherche par propriétaire (find . -user root -name <​fichier>​)     * **-user** ​  ​Recherche par propriétaire (find . -user root -name <​fichier>​)
 +
     * **-mtime** ​ Recherche par date de dernière modification (find . -mtime +2 # il y a plus de 2 jours)     * **-mtime** ​ Recherche par date de dernière modification (find . -mtime +2 # il y a plus de 2 jours)
  
recherche_ubuntu.1536251019.txt.gz · Dernière modification: 2018/09/06 18:23 par g.rnd@free.fr