From f6997378c91be84432703183397f8675143030e9 Mon Sep 17 00:00:00 2001
From: tv <tv@shackspace.de>
Date: Fri, 28 Aug 2015 20:11:03 +0200
Subject: [PATCH] krebs shell: add cat
---
krebs/4lib/shell.nix | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/krebs/4lib/shell.nix b/krebs/4lib/shell.nix
index 48b220f87..2a6da5c16 100644
--- a/krebs/4lib/shell.nix
+++ b/krebs/4lib/shell.nix
@@ -12,4 +12,11 @@ rec {
if isSafeChar c then c
else if c == "\n" then "'\n'"
else "\\${c}");
+
+ #
+ # shell script generators
+ #
+
+ # example: "${cat (toJSON { foo = "bar"; })} | jq -r .foo"
+ cat = s: "printf '%s' ${escape s}";
}