stockholm - NixOS configuration

	Commit message (Collapse)	Author	Age	Files	Lines
*	lib: inline has-default-nix	tv	2016-10-13	1	-2/+0
\|
*	lib: remove addName*	tv	2016-10-13	2	-6/+6
\|
*	krebs lib: with lib	tv	2016-10-13	1	-3/+6
\|
*	k 4 types: add default value for user.mail	lassulus	2016-09-09	1	-0/+1
\|
*	Merge remote-tracking branch 'cd/master'	lassulus	2016-08-02	2	-24/+1
\|\
\| *	lib: import shell from krebs/4lib	tv	2016-08-02	2	-24/+1
\| \|
* \|	k 4 types: tinc.extraConfig	makefu	2016-07-28	1	-0/+7
\| \|
* \|	retiolum: support nets.<net>.tinc.port	makefu	2016-07-28	1	-1/+6
\| \|
* \|	k 3: add genid_signed	lassulus	2016-07-23	1	-0/+1
\|/
*	replace krebs.build.populate by populate	tv	2016-07-17	1	-0/+69
\|
*	net.addrs: readOnly = false	tv	2016-07-03	1	-1/+0
\|
*	secret-file: add defaults to all options	tv	2016-07-03	1	-4/+14
\|
*	absolute-pathname: check stringLength > 0	tv	2016-07-03	1	-1/+3
\|
*	lib.getAttrs: init	tv	2016-06-30	1	-0/+4
\|
*	lib.genAttrs': init	tv	2016-06-13	1	-0/+2
\|
*	types.{addr*,label,{host,file,{absolute-,}path}name}: use isString	tv	2016-06-13	1	-7/+8
\|
*	types.file-mode: init	tv	2016-06-13	1	-1/+7
\|
*	lib.lpad: init	tv	2016-06-13	1	-0/+5
\|
*	lib.guard: init	tv	2016-06-13	1	-0/+10
\|
*	krebs {absolute,}-pathname: admit harder	tv	2016-06-12	1	-2/+4
\|
*	krebs {{absolute-,}path,user}name: mergeOneOption	tv	2016-06-11	1	-0/+3
\|
*	krebs types.filename: maximize strictness	tv	2016-06-11	1	-2/+2
\|
*	krebs types.filename: admit <underscore>	tv	2016-06-11	1	-4/+1
\|
*	krebs types.absolute-pathname: admit /	tv	2016-06-07	1	-1/+1
\|
*	krebs.git.cgit: make `cache-root` configurable	tv	2016-06-07	1	-1/+0
\| \| \| \|	... along with all the other stuff :)
*	krebs types.uint: init	tv	2016-06-07	1	-0/+6
\|
*	getAttrDef: RIP	tv	2016-06-07	2	-3/+3
\|
*	krebs types.haskell.{con,mod}id: init	tv	2016-06-04	1	-0/+13
\|
*	krebs types.group: init	tv	2016-04-27	1	-0/+12
\|
*	krebs.backup network-ssh-port: fail if cannot find port	tv	2016-04-17	1	-2/+2
\|
*	krebs types.addr6: str -> IPv6 address*	tv	2016-04-08	1	-1/+8
\|
*	krebs types.addr4: check type harder	tv	2016-04-08	1	-1/+1
\|
*	retiolum: don't hardcode routing prefixes	tv	2016-04-08	1	-10/+38
\|
*	addr4: str -> mkOptionType	tv	2016-04-07	1	-4/+10
\|
*	krebs types += tinc-pubkey	tv	2016-03-16	1	-1/+3
\|
*	krebs types += pgp-pubkey, user.pgp.pubkey	tv	2016-03-16	1	-0/+13
\|
*	krebs types += ssh-{priv,pub}key	tv	2016-03-16	1	-21/+23
\|
*	krebs lib += getAttrDef	tv	2016-03-16	1	-0/+1
\|
*	krebs types.host.ssh.pubkeys: trace only own missing keys	tv	2016-03-16	1	-4/+4
\|
*	krebs lib += optionalTrace	tv	2016-03-16	1	-1/+3
\|
*	k 4 infest/prepare: build nixos-install	makefu	2016-03-09	1	-0/+14
\|
*	krebs types.host: properly access config.krebs.users	tv	2016-02-22	1	-1/+6
\|
*	krebs.dns.providers: attrsOf unspecified -> attrsOf str	tv	2016-02-21	3	-44/+0
\|
*	krebs.users.krebs: init	tv	2016-02-21	2	-9/+9
\|
*	krebs types.secret-file: owner-name -> owner :: user	tv	2016-02-21	1	-2/+8
\|
*	krebs.types.user: add uid :: int	tv	2016-02-21	2	-1/+5
\|
*	krebs.types.user: add home :: absolute-pathname	tv	2016-02-21	1	-0/+19
\|
*	krebs.secret: init	tv	2016-02-21	1	-0/+13
\|
*	prepare_common: simplify nixos-install installation	tv	2016-02-20	1	-19/+14
\|
*	krebs.hosts.*.infest: RIP	tv	2016-02-20	1	-13/+0
\|