2022-03-10 20:59:18 +01:00
|
|
|
{ lib, ... }: {
|
2022-05-11 23:11:54 +02:00
|
|
|
mergeLines = lib.lists.foldr
|
2022-03-10 20:59:18 +01:00
|
|
|
(a: b: ''
|
|
|
|
${a}
|
|
|
|
${b}
|
2022-05-11 23:11:54 +02:00
|
|
|
'') "";
|
|
|
|
|
|
|
|
unwords = lib.lists.foldr (a: b: ''${a} ${b}'') "";
|
2022-03-10 20:59:18 +01:00
|
|
|
}
|