Je me suis trompé ...

Abdelkdz Messages postés 21 Statut Membre -  
jisisv Messages postés 3678 Statut Modérateur -
Bonjour,

Je suis sous Ubuntu et je voulais ajouter une police. Je suis donc allez sur YouTube pour voir un tuto. J'ai suivis les instructions jusqu'au moment ou je fais une fausse manoeuvre et en creer le ficher ".fonts" dans un autre dossier malheureusement je ne sais où. J'ai fais donc une recherche avec CTRL+F puis il n'y a aucun resultat ! Je ne trouve pas le fichier et je ne peux donc pas installer de police ! AIDEZ-MOI

2 réponses

jisisv Messages postés 3678 Statut Modérateur 934
 
Et si tu disposes d'une version RECENTE de ta base de données de fichiers:
locate --ignore-case ${partie_significative_du_nom}

pour autant que ton fichier ne se trouve pas dans un répertoire/système de fichiers exclus de la recherche.
Ce sera un tantinet plus rapide que la méthode de Dany59 .
man locate
apropos updatedb

Johan
Gates gave ^H sold you the windows.
GNU gave us the whole house.(Alexandrin)
1
Dany59
 
Bonjour,

CTRL+F n'est pas infaillible, quelque chose d'efficace est de te connecter dans une console (en root comme ça tous les dossiers seront scannés) et tu lance une recherche:

find / -name le_nom_du_dossier

ou

find / -name "*une_partie_du_nom_du_dossier*"
0