+- PrimTux, la distribution éducative (https://forum.primtux.fr)
+-- Forum : Bureau Numérique des Écoles (BNE) / Libreoffice des écoles (https://forum.primtux.fr/forumdisplay.php?fid=8)
+--- Forum : Libreoffice des écoles (https://forum.primtux.fr/forumdisplay.php?fid=36)
+--- Sujet : supprimer des polices (/showthread.php?tid=1188)
supprimer des polices - C_linette - 06-08-2019
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
supprimer des polices - Philippe Dpt35 - 06-08-2019
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 :
pcmanfmTu 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.
supprimer des polices - Steph - 06-08-2019
Ouvre le gestionnaire de fichier pcmanfm en session administrateur, tape f4, tu vas avoir un terminal, tape
Code :
sudo pcmanfmTape 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.
supprimer des polices - mothsart - 06-08-2019
Cette discussion amène une réflexion sur les futures versions de Primtux (y'aurais une béta dans les tuyaux ?
) :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.
supprimer des polices - Steph - 06-08-2019
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?