index
:
stockholm
flakify
head
kartei/template
master
waydroid
gum/18.09
gum/fix-cert
gum/for-tv
gum/master
gum/multi-tinc
gum/save-fixup
gum/staging
ni/master
ni/staging
ni/syncthing-new-service
prism/bla
prism/ci
prism/ci-test
prism/cuda
prism/dcso
prism/freak
prism/genid
prism/irc
prism/konsens
prism/lassulus
prism/makefu
prism/makefu-staging
prism/master
prism/merge
prism/newest
prism/nin
prism/nixpkgs
prism/physical
prism/rip
prism/staging/18.03
prism/staging/bla
prism/staging/cholerab
prism/staging/ci
prism/staging/fix-build
prism/staging/github
prism/staging/hetzner
prism/staging/jeschli
prism/staging/jeschli-hetzner
prism/staging/krops
prism/staging/mic
prism/staging/nin
prism/staging/nixpkgs
prism/staging/pkgs
prism/staging/source-override
prism/staging/test
prism/staging/tests
prism/staging/tinc-subnets
prism/staging/tv
prism/test
prism/tv
NixOS configuration
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.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