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
Commit message (
Collapse
)
Author
Age
Files
Lines
*
lib: import shell from krebs/4lib
tv
2016-08-02
2
-24
/
+1
|
*
replace krebs.build.populate by populate
tv
2016-07-17
1
-0
/
+69
|
*
net.addrs: readOnly = false
tv
2016-07-03
1
-1
/
+0
|
*
secret-file: add defaults to all options
tv
2016-07-03
1
-4
/
+14
|
*
absolute-pathname: check stringLength > 0
tv
2016-07-03
1
-1
/
+3
|
*
lib.getAttrs: init
tv
2016-06-30
1
-0
/
+4
|
*
lib.genAttrs': init
tv
2016-06-13
1
-0
/
+2
|
*
types.{addr*,label,{host,file,{absolute-,}path}name}: use isString
tv
2016-06-13
1
-7
/
+8
|
*
types.file-mode: init
tv
2016-06-13
1
-1
/
+7
|
*
lib.lpad: init
tv
2016-06-13
1
-0
/
+5
|
*
lib.guard: init
tv
2016-06-13
1
-0
/
+10
|
*
krebs {absolute,}-pathname: admit harder
tv
2016-06-12
1
-2
/
+4
|
*
krebs {{absolute-,}path,user}name: mergeOneOption
tv
2016-06-11
1
-0
/
+3
|
*
krebs types.filename: maximize strictness
tv
2016-06-11
1
-2
/
+2
|
*
krebs types.filename: admit <underscore>
tv
2016-06-11
1
-4
/
+1
|
*
krebs types.absolute-pathname: admit /
tv
2016-06-07
1
-1
/
+1
|
*
krebs.git.cgit: make `cache-root` configurable
tv
2016-06-07
1
-1
/
+0
|
|
|
|
... along with all the other stuff :)
*
krebs types.uint: init
tv
2016-06-07
1
-0
/
+6
|
*
getAttrDef: RIP
tv
2016-06-07
2
-3
/
+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 lib += getAttrDef
tv
2016-03-16
1
-0
/
+1
|
*
krebs types.host.ssh.pubkeys: trace only own missing keys
tv
2016-03-16
1
-4
/
+4
|
*
krebs lib += optionalTrace
tv
2016-03-16
1
-1
/
+3
|
*
k 4 infest/prepare: build nixos-install
makefu
2016-03-09
1
-0
/
+14
|
*
krebs types.host: properly access config.krebs.users
tv
2016-02-22
1
-1
/
+6
|
*
krebs.dns.providers: attrsOf unspecified -> attrsOf str
tv
2016-02-21
3
-44
/
+0
|
*
krebs.users.krebs: init
tv
2016-02-21
2
-9
/
+9
|
*
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
2
-1
/
+5
|
*
krebs.types.user: add home :: absolute-pathname
tv
2016-02-21
1
-0
/
+19
|
*
krebs.secret: init
tv
2016-02-21
1
-0
/
+13
|
*
prepare_common: simplify nixos-install installation
tv
2016-02-20
1
-19
/
+14
|
*
krebs.hosts.*.infest: RIP
tv
2016-02-20
1
-13
/
+0
|
*
krebs.hosts.*: set owner
tv
2016-02-20
1
-0
/
+9
|
*
lib.toC: admit derivations
tv
2016-02-14
1
-2
/
+6
|
*
krebs.types.host: default to empty nets
tv
2016-02-13
1
-0
/
+1
|
*
krebs/4lib/infest/prepare.sh: recognize NixOS ISO
tv
2016-02-13
1
-0
/
+25
|
*
krebs/4lib/infest: merge install-nix.sh into prepare.sh
tv
2016-02-13
2
-52
/
+49
|
*
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
|
[next]