blob: 718a98d594863bae6fe94332ceeafd0bad5fc0cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
{ config, pkgs, ... }:
{ services.xserver = {
enable = true;
enableCtrlAltBackspace = true;
exportConfiguration = true;
};
services.dbus.socketActivated = true;
environment.systemPackages = with pkgs; [
xorg.xmodmap
xorg.xinit
xorg.xev
xorg.xdpyinfo
xclip
xfontsel
vanilla-dmz
hicolor_icon_theme
adapta-gtk-theme
paper-gtk-theme
paper-icon-theme
arc-icon-theme
tango-icon-theme
gtk-engine-murrine
gtk_engines
];
fonts = {
enableFontDir = true;
enableDefaultFonts = true;
fontconfig = {
defaultFonts = {
monospace = [ "Source Code Pro" ];
sansSerif = [ "Source Sans Pro" ];
serif = [ "Source Serif Pro" ];
};
ultimate = {
enable = true;
# presets:
# ultimate1 ultimate2 ultimate3 ultimate4 ultimate5 osx windowsxp
preset = "windowsxp";
};
};
fonts = with pkgs; [
dejavu_fonts
fantasque-sans-mono
dina-font
envypn-font
emacs-all-the-icons-fonts
fira
fira-code
fira-mono
go-font
font-awesome-ttf
liberation_ttf
mononoki
(nerdfonts.override {
withFont = "Monoid";
})
opensans-ttf
paratype-pt-mono
paratype-pt-sans
paratype-pt-serif
profont
proggyfonts
source-code-pro
source-sans-pro
source-serif-pro
terminus_font
xorg.fontxfree86type1
];
};
}
|