blob: 3ae654494ffb929306d699c7fe1641273024a981 (
plain) (
blame)
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
|
{ config, pkgs, lib, ... }:
let
myPkgs = import ./pkgs.nix { inherit pkgs; };
mytexlive = with pkgs.texlive; combine { inherit scheme-medium minted units collection-bibtexextra; };
in {
config = rec {
#########
# Kernel
boot.initrd.availableKernelModules = [ "uhci_hcd" "ehci_pci" "ahci" ];
boot.loader.grub.enable = true;
boot.loader.grub.version = 2;
boot.loader.grub.device = "/dev/sda";
boot.initrd.luks.devices = [ { device = "/dev/sda2"; name = "cryptroot"; } ];
###########
# Hardware
fileSystems."/" = {
device = "/dev/dm-0";
fsType = "btrfs";
options = "ssd";
};
fileSystems."/boot" = {
device = "/dev/sda1";
fsType = "ext3";
};
hardware.pulseaudio.enable = true;
vuizvui.hardware.thinkpad.enable = true;
######
# Nix
nix.maxJobs = 2;
vuizvui.enableGlobalNixpkgsConfig = true;
##########
# Network
networking.hostName = "katara";
networking.networkmanager.enable = true;
networking.firewall = {
enable = true;
# Programmer’s dilemma
allowedTCPPortRanges = [
{ from = 8000; to = 8005; }
{ from = 8080; to = 8085; }
];
};
i18n = {
consoleFont = "lat9w-16";
consoleKeyMap = "us";
defaultLocale = "en_US.UTF-8";
};
###########
# Packages
environment.profileRelativeEnvVars = { EDITOR = [ "${pkgs.vim}/bin/vim" ]; };
environment.systemPackages = with pkgs;
let
systemPkgs = [
atool # archive tools
curl # transfer data to/from a URL
diffoscope # diff whole filetrees (and archives)
dos2unix # text file conversion
fdupes # file duplicate finder
file # file information
git # version control system
gnupg # PGP encryption
htop # top replacement
imagemagick # image conversion
jmtpfs # MTP fuse
gnumake # make
manpages # system manpages (not included by default)
mkpasswd # UNIX password creator
mosh # ssh with stable connections
nmap # stats about clients in the network
silver-searcher # file content searcher, > ack > grep
stow # dotfile management
tmux # detachable terminal multiplexer
traceroute # trace ip routes
vim # slight improvement over vi
wget # the other URL file fetcher
];
xPkgs = [
dmenu # simple UI menu builder
dunst # notification daemon (implements libnotify)
i3lock # lock screen
libnotify # notification library
lxappearance # GTK theme chooser
myPkgs.taffybar # status bar
xbindkeys # keybinding manager
xclip # clipboard thingy
xorg.xkill # X11 application kill
];
guiPkgs = [
gnome3.adwaita-icon-theme
# TODO: get themes to work. See notes.org.
gnome3.gnome_themes_standard
# kde4.oxygen-icons TODO
];
userPrograms = [
abcde # high-level cd-ripper with tag support
anki # spaced repetition system
audacity lame # audio editor and mp3 codec
beets # audio file metadata tagger
# chromium # browser
(chromium.override { enablePepperFlash = true; })
dropbox-cli # dropbox.com client
emacs # pretty neat operating system i guess
feh # brother of meh, displays images in a meh way, but fast
filezilla # FTP GUI business-ready interface framework
ghc # Glasgow Haskell Compiler, mostly for ghci
gimp # graphics
gmpc # mpd client and best music player interface in the world
httpie
keepassx # password manager
libreoffice # a giant ball of C++, that sometimes helps with proprietary shitformats
lilyterm # terminal emulator, best one around
# lyx mytexlive # you didn’t see a thing
mpv # you are my sun and my stars. and you play my stuff.
newsbeuter # RSS/Atom feed reader
networkmanagerapplet # NetworkManager status bar widget
poezio # CLI XMPP client
poppler_utils # pdfto*
ranger # CLI file browser
rtorrent # monster of a bittorrent client
stack # haskell package manager
pkgs.vuizvui.show-qr-code # display a QR code
zathura # pdf viewer
];
mailPkgs = [
elinks # command line browser
myPkgs.offlineimap # IMAP client
mutt-with-sidebar # has been sucking less since 1970
msmtp # SMTP client
notmuch # mail indexer
];
nixPkgs = [
nix-repl # nix REPL
nix-prefetch-scripts # prefetch store paths from various destinations
haskellPackages.cabal2nix # convert cabal files to nix
];
tmpPkgs = [
# needs user service
redshift # increases screen warmth at night (so i don’t have to feel cold)
snapper
];
in systemPkgs ++ xPkgs ++ guiPkgs ++ userPrograms ++ nixPkgs ++ mailPkgs ++ nixPkgs ++ tmpPkgs;
system.extraDependencies = with pkgs; lib.singleton (
# Haskell packages I want to keep around
haskellPackages.ghcWithPackages (hpkgs: with hpkgs;
[
# frp
frpnow
gloss
gtk
frpnow-gtk
frpnow-gloss
lens
wreq
aeson-lens
]))
++
# other packages that I use sometimes in a shell
[
#wkhtmltopdf
rustc
haskellPackages.purescript
];
###########
# Services
# Enable the OpenSSH daemon.
services.openssh.enable = true;
# Enable CUPS to print documents.
services.printing = {
enable = true;
drivers = [ pkgs.gutenprint ];
};
time.timeZone = "Europe/Berlin";
# redshift TODO as user
services.redshift = {
# enable = true;
latitude = "48";
longitude = "10";
temperature.day = 6300;
};
# locate
services.locate = {
enable = true;
};
# Automount
services.udisks2.enable = true;
services.journald.extraConfig = "SystemMaxUse=50M";
# TODO: taffybar battery depends on this
services.upower.enable = true;
###################
# Graphical System
services.xserver = {
enable = true;
layout = "de";
xkbVariant = "neo";
xkbOptions = "altwin:swap_alt_win";
serverFlagsSection = ''
Option "StandbyTime" "10"
Option "SuspendTime" "20"
Option "OffTime" "30"
'';
synaptics.enable = true;
synaptics.minSpeed = "0.5";
synaptics.accelFactor = "0.01";
videoDrivers = [ "intel" ];
# otherwise xterm is enabled, creating an xterm that spawns the window manager.
desktopManager.xterm.enable = false;
# TODO: include taffybar
windowManager.xmonad = {
enable = true;
enableContribAndExtras = true;
};
displayManager = {
desktopManagerHandlesLidAndPower = false;
sessionCommands =
''
#TODO add as nixpkg
export PATH+=":$HOME/scripts" #add utility scripts
export EDITOR=emacsclient
xset r rate 250 35
set-background &
# TODO xbindkeys user service file
xbindkeys
nice -n19 dropbox start &
nm-applet &
'';
};
startGnuPGAgent = true;
};
fonts.fontconfig = {
defaultFonts = {
monospace = [ "Source Code Pro" "DejaVu Sans Mono" ]; # TODO does not work
sansSerif = [ "Liberation Sans" ];
};
# use overkill infinality settings from old Arch installation
ultimate = {
rendering = {
INFINALITY_FT_FILTER_PARAMS = "08 24 36 24 08";
INFINALITY_FT_FRINGE_FILTER_STRENGTH = "25";
INFINALITY_FT_USE_VARIOUS_TWEAKS = "true";
INFINALITY_FT_WINDOWS_STYLE_SHARPENING_STRENGTH = "25";
INFINALITY_FT_STEM_ALIGNMENT_STRENGTH = "15";
INFINALITY_FT_STEM_FITTING_STRENGTH = "15";
};
};
};
fonts.fonts = with pkgs; [
corefonts
source-han-sans-japanese
source-han-sans-korean
source-han-sans-simplified-chinese
source-code-pro
dejavu_fonts
ubuntu_font_family
];
########
# Users
# Nobody wants mutable state. :)
users.mutableUsers = false;
users.extraUsers =
let authKeys = ["ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDJhthfk38lzDvoI7lPqRneI0yBpZEhLDGRBpcXzpPSu+V0YlgrDix5fHhBl+EKfw4aeQNvQNuAky3pDtX+BDK1b7idbz9ZMCExy2a1kBKDVJz/onLSQxiiZMuHlAljVj9iU4uoTOxX3vB85Ok9aZtMP1rByRIWR9e81/km4HdfZTCjFVRLWfvo0s29H7l0fnbG9bb2E6kydlvjnXJnZFXX+KUM16X11lK53ilPdPJdm87VtxeSKZ7GOiBz6q7FHzEd2Zc3CnzgupQiXGSblXrlN22IY3IWfm5S/8RTeQbMLVoH0TncgCeenXH7FU/sXD79ypqQV/WaVVDYMOirsnh/ philip@nyx"];
in {
philip = rec {
name = "philip";
group = "users";
extraGroups = [ "wheel" "networkmanager" ];
uid = 1000;
createHome = true;
home = "/home/philip";
passwordFile = "${home}/.config/passwd";
# password = "test"; # in case of emergency, break glass
shell = "/run/current-system/sw/bin/fish";
openssh.authorizedKeys.keys = authKeys;
};
};
###########
# Programs
# see gpgAgent
programs.ssh.startAgent = false;
# friendly user shell
programs.fish.enable = true;
vuizvui.user.profpatsch.programs.scanning.enable = true;
#######
# Misc
# TODO seems to work only sometimes in chromium
# security.pki.certificateFiles = [ "${pkgs.cacert}/etc/ssl/certs/ca-bundle.crt" ];
########
# Fixes
# fix for emacs ssh
programs.bash.promptInit = "PS1=\"# \"";
};
}
|