System.Escape

Definitions

escapeArg : String -> String

  Escape special characters in an Idris string, for use as a string literal
  in the shell

Visibility: public export

escapeCmd : List String -> String

  Escape special characters in a list of shell arguments, as a single command
  for the shell.
  eg. the list ["a", "b", "c d"] is interpreted as the command `a b "c d"`

Visibility: public export