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 |
|
tv
|
e4d427602c
|
krebs.types.user: add home :: absolute-pathname
|
2016-02-21 06:42:01 +01:00 |
|
tv
|
b5fbca3a36
|
krebs.secret: init
|
2016-02-21 05:27:37 +01:00 |
|
tv
|
d8d39f5c4a
|
prepare_common: simplify nixos-install installation
|
2016-02-20 02:02:08 +01:00 |
|
tv
|
dbe2ece8ad
|
krebs.hosts.*.infest: RIP
|
2016-02-20 02:02:07 +01:00 |
|
tv
|
47ef169276
|
krebs.hosts.*: set owner
|
2016-02-20 02:02:07 +01:00 |
|
tv
|
c1a9a89c9a
|
lib.toC: admit derivations
|
2016-02-14 12:28:56 +01:00 |
|
tv
|
96f3dbe6ec
|
krebs.types.host: default to empty nets
|
2016-02-13 16:46:15 +01:00 |
|
tv
|
eb0797b7ed
|
krebs/4lib/infest/prepare.sh: recognize NixOS ISO
|
2016-02-13 16:22:23 +01:00 |
|
tv
|
67b77ae4d7
|
krebs/4lib/infest: merge install-nix.sh into prepare.sh
|
2016-02-13 16:21:24 +01:00 |
|
tv
|
7a9f130c12
|
krebs: rm types.host.dc
|
2016-02-08 03:21:01 +01:00 |
|
tv
|
52fd80748d
|
krebs.types.{hostname,label}: check RFC952
|
2016-02-07 05:08:32 +01:00 |
|
tv
|
30306159af
|
add krebs.types.{filename,username}
|
2016-02-06 19:42:36 +01:00 |
|