index
:
stockholm
19.03
19.09
20.03
20.09
21.05
21.11
22.05
22.11
23.05
brows
ci
ci-notrace
flakeify
hass-fix
irc
kartei-split
krops-test
makefu-test
master
mb
mb-rip
nixpkgs
reaktor
rip-cores
riplass
solanum
sync-containers
test
testing
tinc-reload
tset
take all the computers hostage, they'll love you!
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
krebs
/
4lib
/
types.nix
Commit message (
Expand
)
Author
Age
Files
Lines
*
krebs types.absolute-pathname: admit /
tv
2016-06-07
1
-1
/
+1
*
krebs types.uint: init
tv
2016-06-07
1
-0
/
+6
*
getAttrDef: RIP
tv
2016-06-07
1
-2
/
+3
*
krebs types.haskell.{con,mod}id: init
tv
2016-06-04
1
-0
/
+13
*
krebs types.group: init
tv
2016-04-27
1
-0
/
+12
*
krebs.backup network-ssh-port: fail if cannot find port
tv
2016-04-17
1
-2
/
+2
*
krebs types.addr6: str -> IPv6 address*
tv
2016-04-08
1
-1
/
+8
*
krebs types.addr4: check type harder
tv
2016-04-08
1
-1
/
+1
*
retiolum: don't hardcode routing prefixes
tv
2016-04-08
1
-10
/
+38
*
addr4: str -> mkOptionType
tv
2016-04-07
1
-4
/
+10
*
krebs types += tinc-pubkey
tv
2016-03-16
1
-1
/
+3
*
krebs types += pgp-pubkey, user.pgp.pubkey
tv
2016-03-16
1
-0
/
+13
*
krebs types += ssh-{priv,pub}key
tv
2016-03-16
1
-21
/
+23
*
krebs types.host.ssh.pubkeys: trace only own missing keys
tv
2016-03-16
1
-4
/
+4
*
krebs types.host: properly access config.krebs.users
tv
2016-02-22
1
-1
/
+6
*
krebs.users.krebs: init
tv
2016-02-21
1
-7
/
+4
*
krebs types.secret-file: owner-name -> owner :: user
tv
2016-02-21
1
-2
/
+8
*
krebs.types.user: add uid :: int
tv
2016-02-21
1
-0
/
+4
*
krebs.types.user: add home :: absolute-pathname
tv
2016-02-21
1
-0
/
+19
*
krebs.secret: init
tv
2016-02-21
1
-0
/
+13
*
krebs.hosts.*.infest: RIP
tv
2016-02-20
1
-13
/
+0
*
krebs.hosts.*: set owner
tv
2016-02-20
1
-0
/
+9
*
krebs.types.host: default to empty nets
tv
2016-02-13
1
-0
/
+1
*
krebs: rm types.host.dc
tv
2016-02-08
1
-3
/
+0
*
krebs.types.{hostname,label}: check RFC952
tv
2016-02-07
1
-2
/
+16
*
add krebs.types.{filename,username}
tv
2016-02-06
1
-1
/
+17
*
krebs.{backup.plans,hosts,users}.*.name: add default value
tv
2016-02-06
1
-2
/
+4
*
krebs.retiolum.hosts: change type to attrsOf host
tv
2016-02-06
1
-7
/
+9
*
type user: kill pubkeys, no one's missing you
tv
2016-01-14
1
-4
/
+0
*
{tv 2 => krebs 3} backup
tv
2015-12-28
1
-0
/
+17
*
type host.net: don't require retiolum
tv
2015-10-18
1
-1
/
+0
*
krebs lib.types += suffixed-str
tv
2015-10-09
1
-0
/
+7
*
krebs lib.types: deprecate host.infest.{addr,port}
tv
2015-10-01
1
-0
/
+3
*
krebs: set host key for hosts with ssh.privkey
tv
2015-09-27
1
-6
/
+20
*
krebs: add hosts with ssh.pubkey to known hosts
tv
2015-09-27
1
-2
/
+32
*
krebs.build: merge deploy and infest
tv
2015-09-27
1
-0
/
+10
*
krebs types net.tinc: s/apply/default/
tv
2015-09-04
1
-1
/
+1
*
krebs types net.addrs: s/apply/default/
tv
2015-08-20
1
-1
/
+2
*
krebs: add extraZones
makefu
2015-08-13
1
-5
/
+6
*
types: add zones
makefu
2015-08-13
1
-0
/
+6
*
*/krebs -> krebs/*
tv
2015-07-28
1
-0
/
+109