Page 1 sur 1

Changer la police de Mintreport

Posté : mer. 26 janv. 2022 10:09
par Mentholé
Salutations

Petit passage par ici pour une petite question.
J'ai récemment installé une petite police retro bien sexy trouvée ici https://int10h.org/oldschool-pc-fonts/
Je l'ai bien placée dans /usr/share/fonts/truetype/ et pas de souci elle s'affiche dans mes programmes bien comme il faut.
SAUF dans Mintreport où la police reste celle de base (Ubuntu mono si je ne médit).
Image
À gauche Mintreport avec sa police ubuntu mono (beurk caca) et à droite ce que je veux rendu dans xed avec ma police retro trop mignonne.
Je cherche donc comment demander à Mintreport d'utiliser ma police sexy. Alors en creusant j'ai trouvé /usr/share/linuxmint/mintreport/mintreport.ui mais je n'y trouve pas de ligne faisant référence à font ou autre termes en rapport.
Peut-être ne regarde-je pas au bon endroit, peut-être que ce n'est tout simplement pas possible ? (je refuse d'y croire :shock: ).

Re: Changer la police de Mintreport

Posté : mer. 26 janv. 2022 12:14
par f.x0
Bonjour Mentholé,

regardes dans ce fichier :

Code : Tout sélectionner

/usr/share/linuxmint/mintreport/reports/100_usrmerge-not-done/MintReportInfo.py
il y a notamment cette ligne :

Code : Tout sélectionner

descriptions.append("\n<span font_family='monospace'>apt install usrmerge</span>\n")
peut-être une bonne piste ...
ou dans ce dossier ...

Re: Changer la police de Mintreport

Posté : mer. 26 janv. 2022 13:16
par Mentholé
Merci f.x0.
J'ai déjà parcouru l'ensemble des dossiers mais les fichiers .py ne sont-ils pas des scripts ?
De ce que je comprends en plus

Code : Tout sélectionner

/usr/share/linuxmint/mintreport/reports/100_usrmerge-not-done/MintReportInfo.py
ne concerne qu'un aspect de Mintreport qui consiste à produire un avertissement concernant usrmerge.

Sinon dans

Code : Tout sélectionner

/usr/share/linuxmint/mintreport/mintreport.ui
j'ai bien

Code : Tout sélectionner

<property name="monospace">True</property>
à la ligne 299. Mais je ne vois pas trop comment bidouiller la chose. Si je rentre le nom de la police voulue à la place de monospace, Mintreport refuse tout simplement de se lancer (testé avec plusieurs polices à nom simple déjà installées sur mon système). Oui parce que pour compliquer la tâche la police que je veux utiliser à un nom à la con : AcPlus Cordata PPC-400 (ce qui me pose parfois problème dans certains fichiers .config). :D Conky notamment sur lequel je me triture gentiment la tête là :D

Re: Changer la police de Mintreport

Posté : mar. 8 févr. 2022 00:39
par Mentholé
Bon j'ai tourné le truc dans tous les sens et je pense que ce n'est tout simplement pas possible.
J'utilise maintenant une police monospace incluse de base avec Mint (FreeMono Regular) et rien n'a changé dans Mintreport.

Mais... Mais... Je croyais que Linux était configurable en profondeur moi...
T'as qu'a build from source si t'es pas content : https://github.com/linuxmint/mintreport
:mrgreen: :mrgreen: :mrgreen:
Blague à part, je ne vais pas m'amuser à ça pour une histoire de police d'affichage dans un soft que je n'utilise jamais.
Allez je clôture.
:B

Re: Changer la police de Mintreport

Posté : sam. 23 juil. 2022 06:01
par alain
Bonjour.

Sujet archivé (en lecture seule) car abandonné.
Si besoin de rouvrir faire un MP à un membre de l'équipe ;)