NOUVELLE ADRESSE PERMANENTE DU DÉPÔT: https://mirrors.o2switch.fr/primtux/repo/debs
ATTENTION, MERCI DE NE PAS METTRE À JOUR PRIMTUX7 UBUNTU 20.04 VERS LA 22.04, LES HANDYMENUS NE SONT PAS ENCORE COMPATIBLES!
Merci de cliquer ici si vous souhaitez vous inscrire sur le forum.

Note de ce sujet :
  • Moyenne : 0 (0 vote(s))
  • 1
  • 2
  • 3
  • 4
  • 5
supprimer des polices
#2
Je ne pense pas qu'il soit possible de ne supprimer des polices que pour Libreoffice. En supprimant une police, elle sera supprimée pour tout le système.

Si tu souhaites tout de même faire cette opération, les polices se trouvent dans le dossier /usr/share/fonts, réparties au sein de divers dossiers.
Elle peuvent être supprimée manuellement, mais il faut des droits administrateurs. Pour ouvrir le gestionnaire de fichiers avec des droits administrateurs, ouvre un terminal en administrateur depuis le menu --> Système --> Terminal administrateur
Puis, dans le terminal qui s'ouvre, saisis
Code :
pcmanfm
et appuies sur Entrée.
Tu auras saisi ta première ligne de commande !

Il doit exister des logiciels pour gérer les polices, mais je ne les connais pas. D'autres intervenants seront peut-être plus à même de te renseigner là-dessus. Attends donc un peu avant de suivre mes indications si quelqu'un te propose un logiciel simple à utiliser.
Répondre


Messages dans ce sujet

Atteindre :


Utilisateur(s) parcourant ce sujet : 1 visiteur(s)