Forum

Salut à tous,

J'ai utilisé la fonction «récupérer les polices Windows» présente dans le CCM.
Mauvaise idée. Depuis, j'ai des textes qui s'affichent bizarrement, avec des lettres pas très alignées et des mélanges de polices là où il devrait y en avoir une seule.

Je souhaite donc faire l'opération inverse.
Malheureusement, il ne semble pas y avoir de fonction automatique pour le faire.
Je suppose que je dois me servir de l'option «désinstaller» :



Seulement... que désinstaller ?
Je ne vois rien qui évoque M$ dans la liste.

Salut,


j'ai vu ton post sur le RSS. Vu que de mon côté je n'ai jamais rien touché aux polices, je te mets en pièce jointe le résultat du ls de tout mon répertoire fonts ( ls /usr/share/fonts/* >> usr_share_fonts.txt ). Si tu en fais de même, avec un diff, tu auras peut-être la réponse à ta question ...

usr_share_fonts.txt

Bonjour,

alors, ces polices Windows ? As tu pu t'en sortir ?

Citation:
Euh... non
Merci pour ta liste, mais ces kilomètres de lignes sont un peu confus pour moi...
En plus, j'ai installé un certain nombre de polices qui ne sont pas d'origine de Mageia, je ne veux pas les désinstaller au passage.

Y a pas un moyen de faire bêtement l'opération inverse de ce que fait drakfont en installant les polices M$ ?
Ou au moins de savoir exactement ce qu'il rajoute pour le supprimer directement ?

Ce drakfont est assez mal fichu, il me semble que dans Gnome ou dans Plasma il y a un gestionnaire qui permet de voir les polices installées et de les désinstaller tout simplement, alors que là, en cliquant sur "désinstaller", on se retrouvre avec une liste qui ne correspond pas à celle des polices installées, mais à celles des dossiers présents dans /usr/share/fonts. C'est assez inutile, non ? Si je veux supprimer un dossier de /usr/share/fonts, ben je vais dans /usr/share/fonts et je supprime ce que je veux. Je m'attendrais d'un gestionnaire de polices qu'il me propose de supprimer des polices et pas des dossiers...

Pourquoi n'y a-t-il pas dans drakfont une bête option "clic droit sur la police --> désinstaller" ? Ça me semble trivial, pourtant.

Je ne sais pas pourquoi il n'y a pas de désinstallation "facile" ... peut-être parce que tu es tombé dans un traquenard ! Et oui, installer des polices Windows sous Linux !!! C'est pour repérer les traitres. Dans quelques jours, tu vas avoir des agents qui vont venir chez toi . Fuis avant qu'il ne soit trop tard. !

Plus sérieusement, je voulais essayer chez moi en faisant des diff sur les répertoires ...
Mais comment as-tu fait pour ajouter les polices Windows ? Chez moi, ça fait ça:

Citation:
Je me disais aussi que c'était louche !

Citation:
Ben, j'ai fait la même chose que toi... sauf que ça a fonctionné

J'ai ouvert une bogue à ce sujet : https://bugs.mageia.org/show_bug.cgi?id=18875