Je me suis trompé ...

Abdelkdz Messages postés 18 Date d'inscription   Statut Membre Dernière intervention   -  
jisisv Messages postés 3645 Date d'inscription   Statut Modérateur Dernière intervention   -
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 3645 Date d'inscription   Statut Modérateur Dernière intervention   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