Skip to main content

Comment installer, mettre à jour et désinstaller des polices sous Linux

Dropified France Officiel - Démonstration détaillée de Dropified - (www.dropified.fr) (Mai 2024)

Dropified France Officiel - Démonstration détaillée de Dropified - (www.dropified.fr) (Mai 2024)
Anonim

Vers le milieu des années 90, l’interface utilisateur graphique de Linux souffrait de nombreux problèmes, notamment les polices de caractères. Lorsque le bureau Linux est arrivé pour la première fois sur les lieux, non seulement il manquait un anti-aliasing, mais l'ajout de polices au bureau était un gâchis complexe.

Avance rapide jusqu'à maintenant et ce problème a presque disparu. Maintenant, ajouter, supprimer et gérer des polices sur le bureau Linux est incroyablement simple, du moment que vous savez où les placer et / ou quels outils sont disponibles. Ajoutons des polices!

Répertoires nécessaires

Il est important de comprendre qu'il existe deux emplacements principaux pour placer de nouvelles polices. Le premier emplacement rend les polices disponibles dans le monde entier. Ceci est important si vous avez un bureau ou un serveur Linux utilisé par plusieurs personnes. Ainsi, si plusieurs personnes se connectent à votre serveur Linux et souhaitent avoir accès à plusieurs polices autres que la police standard, le répertoire de ces polices est: / usr / share / fonts . Dans ce répertoire, vous trouverez cinq sous-répertoires, dont trois sont importants:

  • / usr / share / fonts / opentype
  • / usr / share / fonts / truetype
  • / usr / share / fonts / truetype1

Le premier répertoire (opentype) est l'endroit où vous placez les polices opentype. Ces polices ont généralement l'extension de fichier .otf. Les deuxième et troisième répertoires contiennent des polices TrueType, qui se terminent généralement par .ttf (ou .TTF).

Le second répertoire, pour les polices spécifiques à l'utilisateur, se trouve dans /home/USER/.fonts (Où USER est le nom d'utilisateur actuel). Les polices stockées dans ce répertoire ne peuvent être utilisées que par cet utilisateur. Il est à noter que toutes les distributions Linux ne créent pas ce répertoire par défaut. Si vous ouvrez votre gestionnaire de fichiers, vous devrez lui demander d'afficher les répertoires cachés (les répertoires commençant par un point). Pour la plupart des gestionnaires de fichiers, vous pouvez utiliser la combinaison de touches Ctrl + h. Si vous ne voyez pas ce répertoire, vous pouvez le créer en cliquant avec le bouton droit de la souris dans votre gestionnaire de fichiers et en sélectionnant Nouveau> Dossier, ou en ouvrant une fenêtre de terminal et en émettant la commande suivante:

mkdir ~ / .fonts

Il n'est pas nécessaire de créer des sous-dossiers pour héberger les polices opentype et truetype, car elles seront toutes logées dans ce même répertoire.

Ajout de polices

Pour ajouter de nouvelles polices, vous devez d’abord (légalement) se procurer les polices en question. Une fois que vous les avez, vous pouvez ensuite déplacer les fichiers .ttf, .TTF ou .otf dans le répertoire approprié. Dites que vous voulez que ces polices soient ajoutées globalement. Pour cela, vous voudrez travailler à partir de la ligne de commande (étant donné que l’utilisateur standard n’a pas l’autorisation de déplacer des fichiers dans un répertoire). / usr / share / fonts / ).

Disons que vous avez téléchargé une série de polices .ttf dans votre répertoire de téléchargement utilisateur ( / home / USER / Téléchargements , où USER est votre nom d'utilisateur). Si vous souhaitez déplacer ces polices dans le répertoire global, ouvrez une fenêtre de terminal et exécutez la commande suivante:

sudo mv ~ / Téléchargements / *. ttf / usr / share / fonts / truetype /

Une fois que vous avez terminé, vous devez informer le système de la modification en lançant la commande suivante:

sudo fc-cache -fv

Avec cette commande exécutée, tous les utilisateurs auront accès aux polices nouvellement ajoutées.

Pour ajouter ces polices téléchargées à un utilisateur spécifique, vous pouvez utiliser le gestionnaire de fichiers graphique comme suit:

  1. Ouvrez le gestionnaire de fichiers.
  2. Naviguer vers le Téléchargements dossier.
  3. Sélectionnez tous les fichiers de polices téléchargés.
  4. Copiez les fichiers avec la combinaison de clavier Ctrl + c.
  5. Naviguer dans le /home/USER/.fonts répertoire (où USER est le nom d'utilisateur actuel).
  6. Collez les fichiers avec la combinaison de clavier Ctrl + v.

Une méthode plus rapide serait:

  1. Ouvrir un fenêtre de terminal.
  2. Émettre la commande mv ~ / Téléchargements / *. ttf ~ / .fonts.

Qu'en est-il des polices Microsoft

Dans certains cas, vous aurez besoin d'une police spécifique sous licence Microsoft. Ces polices sont: Andale Mono, Arial, Arial Black, Comic Sans MS, Courier New, Géorgie, Impact, Times New Roman, Trebuchet, Verdana et Webdings. Si vous avez besoin de ces polices, vous devez installer une application tierce. Voici comment faire cela sur la distribution Ubuntu Desktop:

  1. Ouvrez une fenêtre de terminal.
  2. Émettre la commande sudo apt-get install ttf-mscorefonts-installer .
  3. À l'invite, d'accord la licence pour les polices.

Ces polices seront ajoutées au répertoire global et l'installation mettra automatiquement à jour le cache de polices à votre place.

Qu'en est-il des polices de Google

Google a créé un grand nombre de polices Web accessibles à tous les utilisateurs de bureau. Pour les ajouter au bureau Linux, vous devez installer une application tierce, appelée TypeCatcher. Pour ce faire, procédez comme suit (à nouveau, en effectuant une démonstration sur Ubuntu Desktop):

  1. Ouvrir un fenêtre de terminal.
  2. Émettre la commande sudo apt-get install typecatcher.
  3. Laisser l'installation se terminer.

Une fois TypeCatcher installé, ouvrez-le à partir du menu de votre bureau. Dans le menu principal, recherchez la police que vous souhaitez installer, puis cliquez sur le bouton de téléchargement (flèche dirigée vers le bas dans le coin supérieur gauche). Après avoir téléchargé toutes les polices Web Google de votre choix, vous devez toujours mettre à jour le cache de polices à l'aide de la commande. sudo fc-cache -fv . Une fois cette commande terminée, toutes les polices de Google seront disponibles pour vos applications et pour tous les utilisateurs.

Comment désinstaller les polices

La suppression des polices s'effectue à l'inverse de l'ajout de polices.Si vous supprimez des polices propres à un utilisateur, ouvrez simplement votre gestionnaire de fichiers, accédez au /home/USER/.fonts répertoire (où USER correspond au nom d'utilisateur actuel), sélectionnez toutes les polices à supprimer et appuyez sur la touche Suppr de votre clavier.

Pour supprimer les polices globales, procédez comme suit:

  1. Ouvrir un fenêtre de terminal. Passez dans le répertoire nécessaire avec la commande cd / usr / share / fonts / truetype .
  2. Émettre la commande ls | moins et faites défiler la liste en prenant note des noms de fichiers à supprimer.
  3. Émettre la commande sudo rm FILENAME (Où FILENAME est le nom du fichier de police à supprimer).
  4. Émettre la commande sudo fc-cache -fv mettre à jour le cache de polices.

Si vous souhaitez supprimer le package Microsoft Core Fonts, vous pouvez le faire avec la commande suivante:

sudo apt-get supprimer ttf-mscorefonts-installer

Rendre les applications conscientes des nouvelles polices

C'est assez simple. Le moyen le plus simple de mettre une application au courant des nouvelles polices consiste à la fermer et à la rouvrir. Assurez-vous de sauvegarder tout / tous les travaux que vous avez effectués avant de fermer l’application. Cette tâche est vraie si vous avez ajouté des polices globalement ou par utilisateur. Bien sûr, si ces polices nouvellement ajoutées n'apparaissent toujours ni dans les applications ni dans les options de configuration du bureau, vous pouvez toujours vous déconnecter du bureau et vous reconnecter. Toutes les applications seront certainement informées des nouvelles polices .