tv
|
763a81ac08
|
lib.xml: init
|
2019-02-16 17:28:55 +01:00 |
|
tv
|
174b3ee6be
|
lib.warnOldVersion: init
|
2019-02-16 15:39:20 +01:00 |
|
tv
|
35be9c66bf
|
lib.normalize-ip6-addr: no :: for single section
|
2018-12-12 00:34:32 +01:00 |
|
tv
|
474e3e2e45
|
lib: import generally useful stuff from genipv6
|
2018-12-11 23:21:42 +01:00 |
|
tv
|
b6e1cef6a5
|
lib.normalize-ip6-addr: only normalize addrs w/o ::
|
2018-12-11 22:47:27 +01:00 |
|
tv
|
facbcdafc8
|
lib.setAttr: RIP
|
2018-12-11 22:06:35 +01:00 |
|
tv
|
8ce6ab8401
|
lib.krebs: init
|
2018-12-07 13:21:53 +01:00 |
|
lassulus
|
82988de84c
|
lib: genid is genid_unit32
|
2018-12-03 07:45:20 +01:00 |
|
tv
|
5e4ea890cf
|
lib: add krops
|
2018-11-30 13:42:44 +01:00 |
|
tv
|
5f0b1b8035
|
lib: add mapNixDir{,1}
|
2018-11-30 09:47:26 +01:00 |
|
lassulus
|
f9d96d13de
|
genid_signed -> genid_uint31
|
2018-08-09 14:38:06 +02:00 |
|
tv
|
e4042e132a
|
move subdirsOf from lib to makefu
|
2017-08-01 19:43:15 +02:00 |
|
tv
|
7fdc46bb9d
|
move source config from module system to 1systems/*/source.nix
|
2017-07-10 11:05:48 +02:00 |
|
tv
|
9f75e81c5f
|
lib: add test and testString
|
2017-06-18 15:49:54 +02:00 |
|
tv
|
f93e1d466f
|
lib: add normalize-ip6-addr
|
2017-04-13 11:12:55 +02:00 |
|
lassulus
|
cc928ccbc6
|
move indent to lib
|
2017-01-21 23:26:48 +01:00 |
|
tv
|
844d347ce7
|
lib: import bulk of krebs/4lib
|
2016-10-20 20:21:59 +02:00 |
|
tv
|
1a5f52234e
|
krebs lib: move {eq,ne,mod} to lib
|
2016-10-13 21:51:27 +02:00 |
|
tv
|
aa167d3e26
|
lib: import shell from krebs/4lib
|
2016-08-02 20:24:45 +02:00 |
|
tv
|
2bc5c58d85
|
move old stuff
|
2015-07-11 19:44:12 +02:00 |
|
tv
|
94488da95f
|
lib/git: add irc-announce
|
2015-06-18 21:21:54 +02:00 |
|
tv
|
8ee650ed25
|
modules/tv/git: initial commit (incl. lib.git)
|
2015-06-14 19:15:56 +02:00 |
|
tv
|
dba033ed10
|
lib: take lib instead of pkgs argument
|
2015-06-14 18:48:53 +02:00 |
|
tv
|
a59c2b3e03
|
lib shell-escape: use builtins.match
|
2015-05-19 23:10:57 +02:00 |
|
tv
|
f93ca99fab
|
initial commit
|
2015-05-19 23:10:57 +02:00 |
|