déplacement des polices

2017-03-01 17:44:16 +01:00
parent 9e3b1d163f
commit c500c59732
2 changed files with 9 additions and 10 deletions
--- a/public/app-bureau.nix
+++ b/public/app-bureau.nix
@@ -30,4 +30,13 @@ mkIf profiles.isDesktop {
    ## Terminal
    sakura          # terminal
  ];
+
+  # Polices supplémentaires
+  fonts.fonts = with pkgs; mkIf profiles.isDesktop [
+    fira            # police créée pour Firefox
+    fira-code       # idem fira-mono + ligatures pour la programmation
+    fira-mono       # dérivée de fira en monospace
+    hack-font       # police monospace créée explicitement pour coder
+    hasklig         # police dérivée de source-code-pro mais avec des ligatures
+  ];
 }