Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 25/04/2005, à 15:37

Dom

Supprimer des polices.

Bonjour,

Grâce à certains messages sur le forum j'ai réussi à ajouter certaines polices que j'utilise régulièrement. Bon !

Mais maintenant j'aimerais aussi retirer du système des polices dont je n'ai aucun usage et qui ont été installées par défaut tels que les polices Malayalam ou autres.
J'ai d'abord envisagé de supprimer des paquets grâce à Synaptic, mais il faudrait alors désinstaller unbutu-desktop, dangeureux ! (peut-on le désinstaller et le réinstaller ensuite ?) et de toute façon cela ne fait pas beaucoup de ménage.
Puis j'ai essayé de me donner des droits pour enlever à la main les fichiers inutiles dans /usr/share/fonts ; mais même avec sudo l'opération m'est interdite.

Que faire ? Pourrais-je au moins réduire les polices utilisées par OO.o pour faciliter mes recherches lors du choix d'une ploice pour un texte donné ?

Merci de vos tuyaux.


Depuis plus de 15 ans fidèle à Ubuntu. Utilisateur de Xubuntu pour l'essentiel et principalement sur des ordinateurs pas tout jeunes ou reconditionnés tels que le mien un Thinkpad T 460s.
Des incursions chez Debian pour des questions liées aux ordinateurs 32 bits.
IL FAUT RECYCLER LES ORDINATEURS :)

Hors ligne

#2 Le 04/07/2005, à 13:34

strix

Re : Supprimer des polices.

J'ai le même problème que toi et je n'ai pas trouvé de solution satisfaisante.:(
Je suis arrivé à enlever à la main les fichiers non désirés dans /usr/share/fonts, mais j'ai vite constaté que certains textes de documentation gnome ou des pages web étaient truffés des fameux petits rectangles... Bref j'ai remis les fichiers fontes et je cherche toujours le moyen de réduire la liste des polices dans OpenOffice, Gimp, etc.
À suivre...

Hors ligne

#3 Le 08/07/2005, à 05:12

Saelynh

Re : Supprimer des polices.

personne na une reponse satisfaisente?
il n'existe pas de gestionnaire de fontes a la maniere de suitcase ? sad

ou un truc qui puisse desinstalé certainne police ?


[ http://www.dogmazic.net/saelynh _ http://www.jamendo.com/fr/artist/saelynh/ ]

Hors ligne

#4 Le 08/07/2005, à 15:24

Dom

Re : Supprimer des polices.

Ploum a proposé des éléments intéressants qui permettent déjà de faire un beau ménage en suivant son tutoriel à l'adresse suivante : http://forum.ubuntu-fr.org/viewtopic.php?id=4497.

Dom


Depuis plus de 15 ans fidèle à Ubuntu. Utilisateur de Xubuntu pour l'essentiel et principalement sur des ordinateurs pas tout jeunes ou reconditionnés tels que le mien un Thinkpad T 460s.
Des incursions chez Debian pour des questions liées aux ordinateurs 32 bits.
IL FAUT RECYCLER LES ORDINATEURS :)

Hors ligne

#5 Le 08/07/2005, à 18:43

Saelynh

Re : Supprimer des polices.

mon probleme c'est que je ramasse boucop de fontes depui pas mal de temp, et je suis ariver a 20 000 donc si je les install toutes sa va tout faire ramé comme pas possible... vs connaissez pas un logiciel qui active les fontes que quan on en a besoin ?


[ http://www.dogmazic.net/saelynh _ http://www.jamendo.com/fr/artist/saelynh/ ]

Hors ligne

#6 Le 31/03/2016, à 18:32

vorzinek

Re : Supprimer des polices.

Bonjour,

Les fichiers sont stockés dans le répertoire « ~/.local/share/fonts ». Vous pouvez faire l'activation et désactivation manuellement en y plaçant/supprimant simplement les fichiers.

Voir  https://doc.ubuntu-fr.org/installer_de_ … _caractere


Simple utilisateur confirmé,   débutant sous Linux
Configuration : ubuntu 18.4 LTS 64 bits (windows abandonné depuis novembre 2013)  , Processeur Intel Core i3-2100 @ 3.10Ghz x 4 DD interne 500 Go (system) + 500 Go (données) + DD externe 500Go (backups),  Carte graphique Nvidia (Gallium on NVD9). Connexion Freebox mini 4K Fibre. Wifi WPA débit moyen correct  (down:750 mbps  up :600 mbps)

Hors ligne

#7 Le 31/03/2016, à 18:33

vorzinek

Re : Supprimer des polices.

oups ! j'avais pas vu la date du premier post


Simple utilisateur confirmé,   débutant sous Linux
Configuration : ubuntu 18.4 LTS 64 bits (windows abandonné depuis novembre 2013)  , Processeur Intel Core i3-2100 @ 3.10Ghz x 4 DD interne 500 Go (system) + 500 Go (données) + DD externe 500Go (backups),  Carte graphique Nvidia (Gallium on NVD9). Connexion Freebox mini 4K Fibre. Wifi WPA débit moyen correct  (down:750 mbps  up :600 mbps)

Hors ligne

#8 Le 31/03/2016, à 18:57

Coeur Noir

Re : Supprimer des polices.

Quasi 11 ans, serait-ce un record de déterrage de topic ? lol

Cela dit manquerait-il pas toujours un outil graphique "simple" pour associer des polices à certains logiciels ? Qui les copierait d'un dossier source vers le dossier local "que" quand on ouvre ledit logiciel ?


DébuterDocBien rédigerRetour commandeInsérer image | illustrations & captures d'écran <>

Hors ligne

#9 Le 12/05/2017, à 14:15

bcag2

Re : Supprimer des polices.

En ligne de commande, je viens de faire sur mon xenial l'équivalent de :

sudo apt-get remove fonts-tlwg-* fonts-japanese* fonts-k* fonts-la* fonts-lk* fonts-lo* fonts-na* fonts-sil* fonts-t* fonts-not*

Pour connaître les polices installées, j'ai utilisé:

dpkg -l fonts*

cf. doc sur dpkg
ou

fc-match -a

…moins intéressant car ça ne retourne pas les noms des paquets!


touticphoto "Ce n'est pas parce que c'est difficile qu'on n'ose pas, c'est parce qu'on n'ose pas que tout devient difficile" Sénèque (souvent vérifié avec Linux!-)

Hors ligne

#10 Le 05/10/2017, à 10:44

fehcel

Re : Supprimer des polices.

Merci !
C'est exactement ce que je cherchais. big_smile
Pas facile à trouver ! roll

Hors ligne