summaryrefslogtreecommitdiffstats
path: root/tv
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-08-28 20:09:54 +0200
committertv <tv@shackspace.de>2015-08-28 20:15:57 +0200
commit015720ef89b81d3d17b3aa7dcaa1e1489c0f87a8 (patch)
tree6e9fc6eef15bcff823885181b10579b555379fc1 /tv
parent0714ed3ea6c889c0576edd8075dc7c2b50d3e8b5 (diff)
{tv/4lib shell-escape,krebs/4lib/shell.nix escape}
Diffstat (limited to 'tv')
-rw-r--r--tv/4lib/default.nix9
1 files changed, 1 insertions, 8 deletions
diff --git a/tv/4lib/default.nix b/tv/4lib/default.nix
index 352689af..106535ba 100644
--- a/tv/4lib/default.nix
+++ b/tv/4lib/default.nix
@@ -16,12 +16,5 @@ krebs // rec {
# "7.4.335" -> "74"
majmin = with lib; x : concatStrings (take 2 (splitString "." x));
- shell-escape =
- let
- isSafeChar = c: match "[-./0-9_a-zA-Z]" c != null;
- in
- stringAsChars (c:
- if isSafeChar c then c
- else if c == "\n" then "'\n'"
- else "\\${c}");
+ shell-escape = krebs.shell.escape;
}