Changes
2 changed files (+13/-2)
-
-
@@ -85,10 +85,20 @@DAFNY_SERVER_OVERRIDE = "${pkgs.dafny}/lib/Dafny/Dafny.dll"; }; # TODO: Emojis are broken in fcitx5 and on some sites in Firefox # https://github.com/NixOS/nixpkgs/issues/336989 # The default CJK font looks atrocious fonts.packages = with pkgs; [ wqy_microhei ]; # Fix broken emojis # https://github.com/NixOS/nixpkgs/issues/336989 fonts.fontconfig.localConf = '' <match target="font"> <test name="family" qual="first"> <string>Noto Color Emoji</string> </test> <edit name="antialias" mode="assign"> <bool>false</bool> </edit> </match> ''; # Plasma also pulls in ibus unfortunately # https://github.com/NixOS/nixpkgs/issues/303593
-
-
-
@@ -81,6 +81,7 @@enable = true; user = "a"; group = "users"; openDefaultPorts = true; # The default when running Syncthing normally configDir = "/home/a/.local/state/syncthing"; };
-