Quitter le forum et retourner au site

Installer des polices supplémentaires...

Venez nous en parler, c'est ici que l'on vous conseillera !
FredColmar
Messages : 65
Inscription : sam. 11 févr. 2012, 19:20
Distribution : Xubuntu 22.04
Niveau : Initié

Installer des polices supplémentaires...

Message par FredColmar »

Bonjour,

Je souhaite installer des polices supplémentaires, mais je n'arrive pas à les trouver dans les dépôts.
Il me faudrait notamment la police Rockwell (proprio), pour retravailler un document sous Gimp.
Pour cela, j'ai regardé du côté de https://doc.ubuntu-fr.org/installer_de_ ... _caractere
J'ai déjà installé xubuntu-restricted-extra ainsi que ttf-mscorefonts-installer, mais cette police ne figure pas dans ces paquets.
Comment procéder dès lors pour y arriver? Installer l'application Fontinstall?

Merci.
Avatar de l’utilisateur
Ennoia
Messages : 138
Inscription : jeu. 29 mai 2008, 13:09
Distribution : ArchLinux
Niveau : Indépendance et débugage
Localisation : Oberentzen

Re: Installer des polices supplémentaires...

Message par Ennoia »

Bonjour,

Possèdes-tu le fichier TTF de ta police ?
Si oui , il suffit de le placer dans $HOME/.local/share/fonts/ .
$HOME représente ton répertoire utilisateur
Si le dossier fonts n'existe pas dans $HOME/.local/share/, crée le !

Si tu ne possèdes pas le ou les fichier(s) TTF, essaye de le récupérer (chez un ami, sur un windows...)

Dernière option, vu le prix de cette police, trouve une police libre équivalente !!
Avatar de l’utilisateur
Ennoia
Messages : 138
Inscription : jeu. 29 mai 2008, 13:09
Distribution : ArchLinux
Niveau : Indépendance et débugage
Localisation : Oberentzen

Re: Installer des polices supplémentaires...

Message par Ennoia »

Si tu optes pour une police libre va voir du coté de :
artwiz, cantarell, terminus, liberation, libertine, dejavu.....
également les google fonts
fais une recherche avec le mot clé "font" dans ton gestionnaire de paquet
Avatar de l’utilisateur
le Manchot Masqué
Administrateur du site
Messages : 719
Inscription : lun. 26 mai 2008, 21:05
Distribution : Debian, Ubuntu
Niveau : Moitié plein !
Localisation : Guebwiller

Re: Installer des polices supplémentaires...

Message par le Manchot Masqué »

Sinon c'est dans le dossier /home/utilisateur/.fonts qu'il suffit de copier ses fontes persos.
Avatar de l’utilisateur
juice
Messages : 247
Inscription : dim. 29 juin 2008, 10:06
Distribution : Archlinux
Niveau : Confirmé
Localisation : Oberentzen

Re: Installer des polices supplémentaires...

Message par juice »

Bonjour.

Sauf erreur de ma part le .fonts est obsolète et il faut privilégier le .local/share/fonts, à condition que le logiciel utilisé
ait bien respecté les les recommandations XDG Base Directory

Ici en bas de page une liste de police libres
Répondre