From dddc3e79e07879f4b29937102980e403d813192d Mon Sep 17 00:00:00 2001
From: Jean-Pierre PRUNARET <jean-pierre+git@prunetwork.fr>
Date: Sun, 7 Apr 2019 23:24:17 +0200
Subject: [PATCH] ajout font awesome

---
 applications/graphical/bureau.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/applications/graphical/bureau.nix b/applications/graphical/bureau.nix
index 6ae07d6..1438c0e 100644
--- a/applications/graphical/bureau.nix
+++ b/applications/graphical/bureau.nix
@@ -39,6 +39,7 @@ mkIf currentMachine.profiles.isDesktopEnvironment {
     fira            # police créée pour Firefox
     fira-code       # idem fira-mono + ligatures pour la programmation
     fira-mono       # dérivée de fira en monospace
+    font-awesome_5  # Jeux de police, utilisé avec Latex
     hack-font       # police monospace créée explicitement pour coder
     hasklig         # police dérivée de source-code-pro mais avec des ligatures
   ];