diff options
author | tv <tv@shackspace.de> | 2015-08-28 20:09:54 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-08-28 20:15:57 +0200 |
commit | 015720ef89b81d3d17b3aa7dcaa1e1489c0f87a8 (patch) | |
tree | 6e9fc6eef15bcff823885181b10579b555379fc1 /krebs/4lib/shell.nix | |
parent | 0714ed3ea6c889c0576edd8075dc7c2b50d3e8b5 (diff) |
{tv/4lib shell-escape,krebs/4lib/shell.nix escape}
Diffstat (limited to 'krebs/4lib/shell.nix')
-rw-r--r-- | krebs/4lib/shell.nix | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/krebs/4lib/shell.nix b/krebs/4lib/shell.nix new file mode 100644 index 000000000..48b220f87 --- /dev/null +++ b/krebs/4lib/shell.nix @@ -0,0 +1,15 @@ +{ lib, ... }: + +with builtins; +with lib; + +rec { + 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}"); +} |