tv
|
7c91a19549
|
lib: don't define defaults that require config
|
2016-10-13 22:11:31 +02:00 |
|
lassulus
|
928ac9f153
|
k 4 types: add default value for user.mail
|
2016-09-09 19:38:12 +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 |
|
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
|
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
|
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
|
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
|
fb82aa8f34
|
krebs types.host.ssh.pubkeys: trace only own missing keys
|
2016-03-16 01:19:27 +01:00 |
|
tv
|
76f1f8770d
|
krebs types.host: properly access config.krebs.users
|
2016-02-22 11:20:52 +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
|
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
|
96f3dbe6ec
|
krebs.types.host: default to empty nets
|
2016-02-13 16:46:15 +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 |
|
tv
|
29746aec06
|
krebs.{backup.plans,hosts,users}.*.name: add default value
|
2016-02-06 18:54:01 +01:00 |
|
tv
|
23c7c10f5a
|
krebs.retiolum.hosts: change type to attrsOf host
|
2016-02-06 15:11:30 +01:00 |
|
tv
|
3a0a230ef5
|
type user: kill pubkeys, no one's missing you
|
2016-01-14 16:03:37 +01:00 |
|
tv
|
5a9ccbef0a
|
{tv 2 => krebs 3} backup
|
2015-12-28 19:43:31 +01:00 |
|
tv
|
a928574806
|
type host.net: don't require retiolum
|
2015-10-18 16:17:46 +02:00 |
|
tv
|
f15864623a
|
krebs lib.types += suffixed-str
|
2015-10-09 14:07:29 +02:00 |
|
tv
|
2432695678
|
krebs lib.types: deprecate host.infest.{addr,port}
|
2015-10-01 14:59:58 +02:00 |
|
tv
|
18cfca4fe8
|
krebs: set host key for hosts with ssh.privkey
|
2015-09-27 16:15:53 +02:00 |
|
tv
|
dc5299a071
|
krebs: add hosts with ssh.pubkey to known hosts
|
2015-09-27 15:24:41 +02:00 |
|
tv
|
c9ccf22b15
|
krebs.build: merge deploy and infest
|
2015-09-27 00:37:20 +02:00 |
|