Outils pour utilisateurs

Outils du site


informatique:polices

Ceci est une ancienne révision du document !


Polices

Les différentes polices sont testées avec l'échantillon suivant :

abcdefghijklmnopqrstuvwxyz
ABCDEFGHIJKLMNOPQRSTUVWXYZ
0123456789.:,;(){}[]<>|^/*!?`'"@#$%&_-+=~
àÀâÂçÇéÉèÈêÊëËîÎïÏôÔùÙûÛüÜæÆœŒ
The quick brown fox jumps over the lazy dog
== === != !== >= <= -> <=> =>
0O 1l B8 <> [] {} 2N2N2N2N

public function getElementValue(array $collection, string $index): ?int
{
    /** Comment #1 */
    if (empty($collection)) {
        return null;
    }
    
    // Comment #2
    foreach ($collection as $key => $element) {
        if ($key < $index || $key > $index) {
            echo 'Index does not match key', PHP_EOL;
            continue;
        }
        
        return $element->value();
    }
}

Autres polices

Old Newspaper Types

abcdefghijklmnopqrstuvwxyz
ABCDEFGHIJKLMNOPQRSTUVWXYZ
0123456789.:,;(){}[]<>|^/*!?`'“@#$%&_-+=~
àÀâÂçÇéÉèÈêÊëËîÎïÏôÔùÙûÛüÜæÆœŒ
The quick brown fox jumps over the lazy dog
== === != !== >= <= -> <=> =>
0O 1l B8 <> [] {} 2N2N2N2N

Polices à tester

Répertoires de polices

Pour créer sa propre police

Configuration et utilisation

Installation sous Linux

Si les polices sont disponibles dans les dépôts, il est recommandé d'utiliser le gestionnaire de paquet pour les installer. Sinon il faut copier les fichiers dans le répertoire ~/.local/share/fonts et de regénérer les informations de cache des polices avec la commande suivante :

fc-cache --force --verbose

Visualisation

Pour visualiser les polices disponibles sur mon système, j'utilise gnome-font-viewer. Il affichera l'ensemble des polices disponibles pour l'utilisateur. Celles-ci sont situées soit dans /usr/share/fonts soit dans ~/.local/share/fonts.

Activation des ligatures dans vscode

  • Installer une police le permettant, ici Fira Code,
  • Dans la configuration, ajouter le nom de la police dans la liste des polices supportées, ici Fira Code,
  • Dans le fichier settings.json, ajouter la propriété editor.fontLigatures avec la valeur true.

Ajouter des polices dans Dokuwiki

Voir Dokuwiki.

informatique/polices.1784505342.txt.gz · Dernière modification : de alexis