PrimTux

La distribution éducative pour débutants et initiés.

Vous n'êtes pas identifié(e).

Annonce

CARTE DES MEMBRES POUVANT AIDER ET DES ÉCOLES SOUS PRIMTUX
Merci de vous y inscrire en nous envoyant un email si vous souhaitez y apparaître.

Les différentes isos de PrimTux4 sont disponibles, cliquez ici pour choisir votre version.
  • Pour être automatiquement informé des réponses à vos messages sur le forum, n'oubliez pas de cliquer sur "Suivre cette discussion" en bas de page. Mieux, en vous abonnant au flux RSS du forum, vous pourrez suivre tout nouveau message sur l'ensemble du forum.
  • En allant dans votre Profil, ligne "Vie privée", vous pouvez également cocher "Suivre automatiquement les sujets auxquels on a répondu.", vous n'aurez plus à cliquer sur "Suivre cette discussion" lorsque vous postez un message.
  • Abonnez-vous à la newsletter sur le site principal pour être informé des nouveaux paquets, nouvelles versions, bugs...

#1 06-08-2019 19:29:23

C_linette
Membre
Inscription : 06-08-2019
Messages : 13

supprimer des polices

Bonjour,
je trouve que le nombre de polices est trop important pour le niveau 1 et je voulais savoir s'il est possible de supprimer celles qu'on ne souhaite pas.
(j'ai désespérément cherché le dossier fonts mais sans succès)
Merci de votre aide
C_linette

Dernière modification par C_linette (06-08-2019 19:29:55)

Hors ligne

#2 06-08-2019 20:01:07

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 822
Site Web

Re : supprimer des polices

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

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.

Hors ligne

#3 06-08-2019 20:01:48

Steph
Administrateur
Inscription : 03-06-2015
Messages : 5 536

Re : supprimer des polices

Ouvre le gestionnaire de fichier pcmanfm en session administrateur, tape f4, tu vas avoir un terminal, tape

sudo pcmanfm

Tape ton mot de passe, les polices sont dans /usr/share/fonts, tu peux supprimer celles que tu veux, je te conseille par contre d'installer les polices primtux.

Hors ligne

#4 06-08-2019 23:22:45

mothsart
Modérateur
Inscription : 31-10-2016
Messages : 868

Re : supprimer des polices

Cette discussion amène une réflexion sur les futures versions de Primtux (y'aurais une béta dans les tuyaux ? roll ) :
Ne serait-il pas pertinent de mettre le moins de police (voir aucune) dans le dossier /usr/share/fonts mais plutôt les placer dans les dossier .fonts respectifs aux sessions ?

Du coup, pas de gymnastique avec des session admin et des lignes de commande.

Hors ligne

#5 06-08-2019 23:48:01

Steph
Administrateur
Inscription : 03-06-2015
Messages : 5 536

Re : supprimer des polices

font-manager permet de gérer les polices, je ne sais pas si c'est pertinent d'en enlever. À part les asiatiques ou autres, surtout niveau compatibilité entre documents, comment choisir?

Hors ligne

Pied de page des forums