tv 2d3130e870 tv * ssh.privkey.path: use krebs.secret.file		2020-10-14 13:02:09 +02:00
..
pgp	tv.pgp.pubkeys.default = readFile ./pgp/CBF89B0B.asc	2016-06-23 23:14:23 +02:00
wiregrill	tv: configure the wiregrill	2018-12-18 21:40:52 +01:00
default.nix	tv * ssh.privkey.path: use krebs.secret.file	2020-10-14 13:02:09 +02:00