tv
|
aaa52a7a1c
|
RIP lib.maybe
|
2015-10-20 03:02:27 +02:00 |
|
tv
|
a928574806
|
type host.net: don't require retiolum
|
2015-10-18 16:17:46 +02:00 |
|
tv
|
7f87ec1369
|
krebs lib: export maybe-.-
|
2015-10-17 17:03:43 +02:00 |
|
lassulus
|
21b6854a15
|
Merge remote-tracking branch 'cd/master'
|
2015-10-17 15:59:58 +02:00 |
|
lassulus
|
72d15b2266
|
krebs 4 infest: add arch-infest and refactor
|
2015-10-17 15:48:53 +02:00 |
|
tv
|
d7f0c3d171
|
move maybe to krebs lib
|
2015-10-17 07:35:21 +02:00 |
|
tv
|
3a375d843e
|
krebs lib: init subdirsOf
|
2015-10-15 01:01:45 +02:00 |
|
tv
|
35dd3df5c6
|
krebs lib: init eq
|
2015-10-15 00:55:07 +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
|
3384dd0a55
|
krebs lib.shell.escape: add safe chars: +:=
|
2015-10-01 14:29:53 +02:00 |
|
tv
|
bfe0723728
|
move config scripts to krebs
|
2015-10-01 02:19:13 +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 |
|
lassulus
|
ab946ab7c1
|
add "make infest"
|
2015-09-18 03:04:39 +02:00 |
|
tv
|
c2c528926c
|
krebs types net.tinc: s/apply/default/
|
2015-09-04 01:51:40 +02:00 |
|
tv
|
c1aaaca7f7
|
krebs += pkgs.writeC lib.toC
|
2015-08-28 21:31:59 +02:00 |
|
tv
|
f6997378c9
|
krebs shell: add cat
|
2015-08-28 20:15:57 +02:00 |
|
tv
|
015720ef89
|
{tv/4lib shell-escape,krebs/4lib/shell.nix escape}
|
2015-08-28 20:15:57 +02:00 |
|
tv
|
18776d2ca2
|
krebs types net.addrs: s/apply/default/
This is required for new nixos-unstable.
|
2015-08-20 08:35:09 +02:00 |
|
makefu
|
d230db96d9
|
krebs: add extraZones
|
2015-08-13 20:28:21 +00:00 |
|
makefu
|
6b9a70d2d0
|
types: add zones
|
2015-08-13 12:05:16 +02:00 |
|
tv
|
06cb4d25ef
|
*/krebs -> krebs/*
|
2015-07-28 21:38:22 +02:00 |
|