Je me suis trompé ...
Abdelkdz
Messages postés
21
Statut
Membre
-
jisisv Messages postés 3678 Statut Modérateur -
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
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
-
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) -
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*"
