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 |
|
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
|
b3a481e0b9
|
krebs lib.ne: init
|
2016-02-01 17:30:38 +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
|
763f0db52a
|
{pkgs => lib}.genid
|
2015-12-26 05:58:37 +01:00 |
|
makefu
|
a0fbe917ac
|
Merge remote-tracking branch 'cd/master' into pre-merge
|
2015-11-14 01:50:39 +01:00 |
|
makefu
|
94a394539d
|
infest: add curl to debian deps
|
2015-11-10 18:52:50 +01:00 |
|
tv
|
193bb70e2e
|
{tv => krebs} git lib & git hooks
|
2015-11-09 19:07:26 +01:00 |
|
tv
|
1f4d7ffa50
|
tv git: move old stuff to the museum section
|
2015-11-09 18:34:02 +01:00 |
|