tv
|
2b8f836339
|
infest/prepare: fix style inconsistencies
|
2017-01-04 08:36:29 +01:00 |
|
tv
|
844d347ce7
|
lib: import bulk of krebs/4lib
|
2016-10-20 20:21:59 +02:00 |
|
tv
|
7c91a19549
|
lib: don't define defaults that require config
|
2016-10-13 22:11:31 +02:00 |
|
tv
|
1a5f52234e
|
krebs lib: move {eq,ne,mod} to lib
|
2016-10-13 21:51:27 +02:00 |
|
tv
|
b4ec1fba50
|
lib: inline has-default-nix
|
2016-10-13 21:51:27 +02:00 |
|
tv
|
9cb65273b1
|
lib: remove addName*
|
2016-10-13 21:51:27 +02:00 |
|
tv
|
6c71792b6d
|
krebs lib: with lib
|
2016-10-13 21:50:14 +02:00 |
|
lassulus
|
928ac9f153
|
k 4 types: add default value for user.mail
|
2016-09-09 19:38:12 +02:00 |
|
lassulus
|
2a263f14ab
|
Merge remote-tracking branch 'cd/master'
|
2016-08-02 20:41:47 +02:00 |
|
tv
|
aa167d3e26
|
lib: import shell from krebs/4lib
|
2016-08-02 20:24:45 +02:00 |
|
makefu
|
de10a917de
|
k 4 types: tinc.extraConfig
|
2016-07-28 13:24:36 +02:00 |
|
makefu
|
8c465870fc
|
retiolum: support nets.<net>.tinc.port
|
2016-07-28 13:18:51 +02:00 |
|
lassulus
|
83090eb4a1
|
k 3: add genid_signed
|
2016-07-23 19:17:36 +02:00 |
|
tv
|
514daf3d46
|
replace krebs.build.populate by populate
|
2016-07-17 00:53:21 +02:00 |
|
tv
|
8822005f00
|
net.addrs: readOnly = false
|
2016-07-03 20:34:51 +02:00 |
|
tv
|
814e823fcd
|
secret-file: add defaults to all options
|
2016-07-03 19:45:29 +02:00 |
|
tv
|
57098e472a
|
absolute-pathname: check stringLength > 0
|
2016-07-03 19:41:31 +02:00 |
|
tv
|
7b46ccaba5
|
lib.getAttrs: init
|
2016-06-30 20:31:43 +02:00 |
|
tv
|
fb226f3498
|
lib.genAttrs': init
|
2016-06-13 01:48:59 +02:00 |
|
tv
|
3846e08de8
|
types.{addr*,label,{host,file,{absolute-,}path}name}: use isString
|
2016-06-13 01:40:57 +02:00 |
|
tv
|
fcfe4b6461
|
types.file-mode: init
|
2016-06-13 01:38:58 +02:00 |
|
tv
|
2adb41310c
|
lib.lpad: init
|
2016-06-13 01:23:44 +02:00 |
|
tv
|
3c61d227cf
|
lib.guard: init
|
2016-06-13 01:16:21 +02:00 |
|
tv
|
29442eda7c
|
krebs {absolute,}-pathname: admit harder
|
2016-06-12 18:13:05 +02:00 |
|
tv
|
8353b1293e
|
krebs {{absolute-,}path,user}name: mergeOneOption
|
2016-06-11 16:36:42 +02:00 |
|
tv
|
cda4c2d96b
|
krebs types.filename: maximize strictness
|
2016-06-11 16:35:13 +02:00 |
|
tv
|
c80aee7a0b
|
krebs types.filename: admit <underscore>
|
2016-06-11 16:27:47 +02:00 |
|
tv
|
5e91e789b6
|
krebs types.absolute-pathname: admit /
|
2016-06-07 23:22:12 +02:00 |
|
tv
|
4a34b27c1c
|
krebs.git.cgit: make cache-root configurable
... along with all the other stuff :)
|
2016-06-07 22:38:38 +02:00 |
|
tv
|
6fcc35afb0
|
krebs types.uint: init
|
2016-06-07 22:36:58 +02:00 |
|
tv
|
39ebd5001e
|
getAttrDef: RIP
|
2016-06-07 02:15:58 +02:00 |
|
tv
|
ed56f41ddc
|
krebs types.haskell.{con,mod}id: init
|
2016-06-04 19:06:50 +02:00 |
|
tv
|
87dabec64d
|
krebs types.group: init
|
2016-04-27 01:45:47 +02:00 |
|
tv
|
affb69250d
|
krebs.backup network-ssh-port: fail if cannot find port
|
2016-04-17 04:13:32 +02:00 |
|
tv
|
e74f4ddf81
|
krebs types.addr6: str -> IPv6 address*
|
2016-04-08 04:41:30 +02:00 |
|
tv
|
4e99bb9d12
|
krebs types.addr4: check type harder
|
2016-04-08 04:38:10 +02:00 |
|
tv
|
46e818ebbc
|
retiolum: don't hardcode routing prefixes
|
2016-04-08 03:53:34 +02:00 |
|
tv
|
033bf438bd
|
addr4: str -> mkOptionType
|
2016-04-07 20:29:07 +02:00 |
|
tv
|
20afe7b9ae
|
krebs types += tinc-pubkey
|
2016-03-16 02:04:22 +01:00 |
|
tv
|
9d16ea6145
|
krebs types += pgp-pubkey, user.pgp.pubkey
|
2016-03-16 02:03:17 +01:00 |
|
tv
|
444d85ea86
|
krebs types += ssh-{priv,pub}key
|
2016-03-16 02:02:20 +01:00 |
|
tv
|
e6657cd46a
|
krebs lib += getAttrDef
|
2016-03-16 01:52:34 +01:00 |
|
tv
|
fb82aa8f34
|
krebs types.host.ssh.pubkeys: trace only own missing keys
|
2016-03-16 01:19:27 +01:00 |
|
tv
|
1ff38bf6c6
|
krebs lib += optionalTrace
|
2016-03-16 01:17:07 +01:00 |
|
makefu
|
05e4f0f7b5
|
k 4 infest/prepare: build nixos-install
|
2016-03-09 22:49:29 +01:00 |
|
tv
|
76f1f8770d
|
krebs types.host: properly access config.krebs.users
|
2016-02-22 11:20:52 +01:00 |
|
tv
|
de5de37a12
|
krebs.dns.providers: attrsOf unspecified -> attrsOf str
|
2016-02-21 21:52:05 +01:00 |
|
tv
|
67e5fddc0b
|
krebs.users.krebs: init
|
2016-02-21 07:39:24 +01:00 |
|
tv
|
e3ddf995e9
|
krebs types.secret-file: owner-name -> owner :: user
|
2016-02-21 07:18:13 +01:00 |
|
tv
|
05be525be6
|
krebs.types.user: add uid :: int
|
2016-02-21 06:56:57 +01:00 |
|