Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| font-manager [Le 22/03/2018, 18:31] – 90.26.65.18 | font-manager [Le 22/11/2019, 02:47] (Version actuelle) – ancienne révision (Le 04/05/2019, 16:54) restaurée 90.50.84.44 | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | {{tag> | + | {{tag> |
| ---- | ---- | ||
| Ligne 7: | Ligne 7: | ||
| ===== Installation ===== | ===== Installation ===== | ||
| - | |||
| - | ==== Version des dépôts ==== | ||
| - | |||
| Pour installer ce logiciel, il suffit d' | Pour installer ce logiciel, il suffit d' | ||
| - | |||
| - | ==== Version plus récente ==== | ||
| - | |||
| - | Un dépôt spécifique existe avec une version plus récente du logiciel (0.7.3 en août 2016). | ||
| - | |||
| - | < | ||
| - | sudo add-apt-repository ppa: | ||
| - | sudo apt-get update | ||
| - | sudo apt-get install font-manager | ||
| - | </ | ||
| - | |||
| - | Ou en une ligne: | ||
| - | |||
| - | < | ||
| - | sudo add-apt-repository ppa: | ||
| - | </ | ||
| ===== Utilisation ===== | ===== Utilisation ===== | ||
| - | |||
| - | ==== Version récente ==== | ||
| Pour ajouter une police dans la version 0.7.3, cliquer sur " | Pour ajouter une police dans la version 0.7.3, cliquer sur " | ||
