summaryrefslogtreecommitdiffstats
path: root/krebs/4lib/types.nix
Commit message (Expand)AuthorAgeFilesLines
* replace krebs.build.populate by populatetv2016-07-171-0/+69
* net.addrs: readOnly = falsetv2016-07-031-1/+0
* secret-file: add defaults to all optionstv2016-07-031-4/+14
* absolute-pathname: check stringLength > 0tv2016-07-031-1/+3
* types.{addr*,label,{host,file,{absolute-,}path}name}: use isStringtv2016-06-131-7/+8
* types.file-mode: inittv2016-06-131-1/+7
* krebs {absolute,}-pathname: admit hardertv2016-06-121-2/+4
* krebs {{absolute-,}path,user}name: mergeOneOptiontv2016-06-111-0/+3
* krebs types.filename: maximize strictnesstv2016-06-111-2/+2
* krebs types.filename: admit <underscore>tv2016-06-111-4/+1
* krebs types.absolute-pathname: admit /tv2016-06-071-1/+1
* krebs types.uint: inittv2016-06-071-0/+6
* getAttrDef: RIPtv2016-06-071-2/+3
* krebs types.haskell.{con,mod}id: inittv2016-06-041-0/+13
* krebs types.group: inittv2016-04-271-0/+12
* krebs.backup network-ssh-port: fail if cannot find porttv2016-04-171-2/+2
* krebs types.addr6: str -> IPv6 address*tv2016-04-081-1/+8
* krebs types.addr4: check type hardertv2016-04-081-1/+1
* retiolum: don't hardcode routing prefixestv2016-04-081-10/+38
* addr4: str -> mkOptionTypetv2016-04-071-4/+10
* krebs types += tinc-pubkeytv2016-03-161-1/+3
* krebs types += pgp-pubkey, user.pgp.pubkeytv2016-03-161-0/+13
* krebs types += ssh-{priv,pub}keytv2016-03-161-21/+23
* krebs types.host.ssh.pubkeys: trace only own missing keystv2016-03-161-4/+4
* krebs types.host: properly access config.krebs.userstv2016-02-221-1/+6
* krebs.users.krebs: inittv2016-02-211-7/+4
* krebs types.secret-file: owner-name -> owner :: usertv2016-02-211-2/+8
* krebs.types.user: add uid :: inttv2016-02-211-0/+4
* krebs.types.user: add home :: absolute-pathnametv2016-02-211-0/+19
* krebs.secret: inittv2016-02-211-0/+13
* krebs.hosts.*.infest: RIPtv2016-02-201-13/+0
* krebs.hosts.*: set ownertv2016-02-201-0/+9
* krebs.types.host: default to empty netstv2016-02-131-0/+1
* krebs: rm types.host.dctv2016-02-081-3/+0
* krebs.types.{hostname,label}: check RFC952tv2016-02-071-2/+16
* add krebs.types.{filename,username}tv2016-02-061-1/+17
* krebs.{backup.plans,hosts,users}.*.name: add default valuetv2016-02-061-2/+4
* krebs.retiolum.hosts: change type to attrsOf hosttv2016-02-061-7/+9
* type user: kill pubkeys, no one's missing youtv2016-01-141-4/+0
* {tv 2 => krebs 3} backuptv2015-12-281-0/+17
* type host.net: don't require retiolumtv2015-10-181-1/+0
* krebs lib.types += suffixed-strtv2015-10-091-0/+7
* krebs lib.types: deprecate host.infest.{addr,port}tv2015-10-011-0/+3
* krebs: set host key for hosts with ssh.privkeytv2015-09-271-6/+20
* krebs: add hosts with ssh.pubkey to known hoststv2015-09-271-2/+32
* krebs.build: merge deploy and infesttv2015-09-271-0/+10
* krebs types net.tinc: s/apply/default/tv2015-09-041-1/+1
* krebs types net.addrs: s/apply/default/tv2015-08-201-1/+2
* krebs: add extraZonesmakefu2015-08-131-5/+6
* types: add zonesmakefu2015-08-131-0/+6