diff options
author | tv <tv@krebsco.de> | 2015-08-28 20:09:54 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2015-08-28 20:15:57 +0200 |
commit | 01fa3c9afaa69acea159dd4cbaaf3467a1780f3d (patch) | |
tree | f973873a9b55871533fc7b83646855d74a66f41b /tv/4lib/default.nix | |
parent | 14f2107d75ea4fc77ebbfd67847b31dafc78e78d (diff) |
{tv/4lib shell-escape,krebs/4lib/shell.nix escape}
Diffstat (limited to 'tv/4lib/default.nix')
-rw-r--r-- | tv/4lib/default.nix | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/tv/4lib/default.nix b/tv/4lib/default.nix index 352689a..106535b 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; } |