Commande linux pour trouver un fichier
Résolu/Fermé
golgoth6
-
31 mai 2007 à 09:02
Leishen Messages postés 1 Date d'inscription mercredi 23 août 2017 Statut Membre Dernière intervention 23 août 2017 - 23 août 2017 à 06:53
Leishen Messages postés 1 Date d'inscription mercredi 23 août 2017 Statut Membre Dernière intervention 23 août 2017 - 23 août 2017 à 06:53
A voir également:
- Trouver le chemin d'un fichier linux
- Fichier rar - Guide
- Comment ouvrir un fichier epub ? - Guide
- Comment réduire la taille d'un fichier - Guide
- Ouvrir un fichier .bin - Guide
- Trouver adresse mac - Guide
3 réponses
jipicy
Messages postés
40842
Date d'inscription
jeudi 28 août 2003
Statut
Modérateur
Dernière intervention
10 août 2020
4 897
31 mai 2007 à 09:40
31 mai 2007 à 09:40
Salut,
Quel type de fichier (sous GNU/Linux tout est fichier) ? Quels critères pour le rechercher ? Son nom ? Son type ? Son extension ? Sa taille ?
Plusieurs commandes existent notamment si ton fichier est une commande à localiser (voir guide d utilisation du shell pour debutant#xiii ou se trouvent les commandes ) :
Quel type de fichier (sous GNU/Linux tout est fichier) ? Quels critères pour le rechercher ? Son nom ? Son type ? Son extension ? Sa taille ?
Plusieurs commandes existent notamment si ton fichier est une commande à localiser (voir guide d utilisation du shell pour debutant#xiii ou se trouvent les commandes ) :
whereis fichier which fichier type fichierAutre commande, après avoir fait un "updatedb" en tant que "root" :
locate fichierSinon il reste la commande "find" (voir man find pour plus de détails) :
find / -name "fichier";-))
soummam
Messages postés
179
Date d'inscription
vendredi 23 décembre 2005
Statut
Membre
Dernière intervention
19 février 2017
110
31 mai 2007 à 09:35
31 mai 2007 à 09:35
Recherche depuis la racine ( / ) un nom de type fichier ( -type f )
find / -type f -name nom_sans_espace -print
find / -type f -name "nom avec espace" -print
avec les guillemets
find / -type f -name nom_sans_espace -print
find / -type f -name "nom avec espace" -print
avec les guillemets
14 avril 2011 à 15:37
25 mai 2013 à 13:39
Modifié par matt le 9/07/2013 à 11:11
23 août 2017 à 06:53