Skip to content
Snippets Groups Projects
Commit 7967057a authored by Richard W.M. Jones's avatar Richard W.M. Jones
Browse files

Implement // and quote.

These are just wrappers around Filename functions from the stdlib.
parent 55c3a7d9
No related branches found
No related tags found
No related merge requests found
......@@ -21,6 +21,9 @@ open Printf
open Goaljobs_config
let (//) = Filename.concat
let quote = Filename.quote
type goal_result_t = Goal_OK | Goal_failed of string
exception Goal_result of goal_result_t
......
......@@ -171,6 +171,11 @@ val url_contains_string : string -> string -> bool
There is also a goal version of this function. *)
val (//) : string -> string -> string
(** Concatenate two paths. *)
val quote : string -> string
(** Quote the string to make it safe to pass directly to the shell. *)
(** {2 Shell}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment