summaryrefslogtreecommitdiffstats
path: root/krebs/4lib
Commit message (Expand)AuthorAgeFilesLines
* absolute-pathname: check stringLength > 0tv2016-07-031-1/+3
* lib.getAttrs: inittv2016-06-301-0/+4
* lib.genAttrs': inittv2016-06-131-0/+2
* types.{addr*,label,{host,file,{absolute-,}path}name}: use isStringtv2016-06-131-7/+8
* types.file-mode: inittv2016-06-131-1/+7
* lib.lpad: inittv2016-06-131-0/+5
* lib.guard: inittv2016-06-131-0/+10
* 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.git.cgit: make `cache-root` configurabletv2016-06-071-1/+0
* krebs types.uint: inittv2016-06-071-0/+6
* getAttrDef: RIPtv2016-06-072-3/+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 lib += getAttrDeftv2016-03-161-0/+1
* krebs types.host.ssh.pubkeys: trace only own missing keystv2016-03-161-4/+4
* krebs lib += optionalTracetv2016-03-161-1/+3
* k 4 infest/prepare: build nixos-installmakefu2016-03-091-0/+14
* krebs types.host: properly access config.krebs.userstv2016-02-221-1/+6
* krebs.dns.providers: attrsOf unspecified -> attrsOf strtv2016-02-213-44/+0
* krebs.users.krebs: inittv2016-02-212-9/+9
* krebs types.secret-file: owner-name -> owner :: usertv2016-02-211-2/+8
* krebs.types.user: add uid :: inttv2016-02-212-1/+5
* krebs.types.user: add home :: absolute-pathnametv2016-02-211-0/+19
* krebs.secret: inittv2016-02-211-0/+13
* prepare_common: simplify nixos-install installationtv2016-02-201-19/+14
* krebs.hosts.*.infest: RIPtv2016-02-201-13/+0
* krebs.hosts.*: set ownertv2016-02-201-0/+9
* lib.toC: admit derivationstv2016-02-141-2/+6
* krebs.types.host: default to empty netstv2016-02-131-0/+1
* krebs/4lib/infest/prepare.sh: recognize NixOS ISOtv2016-02-131-0/+25
* krebs/4lib/infest: merge install-nix.sh into prepare.shtv2016-02-132-52/+49
* 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
* krebs lib.ne: inittv2016-02-011-0/+1
* type user: kill pubkeys, no one's missing youtv2016-01-141-4/+0