X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_misc.mli;h=e9b013ebd496738596e7d3afbbe46f0877b0164b;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=0e0a3471f42aa9ef8035285dfab656b83b66d205;hpb=9577234cdce1fea3f0090f954f15f897efd2394d;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_misc.mli b/helm/ocaml/getter/http_getter_misc.mli
index 0e0a3471f..e9b013ebd 100644
--- a/helm/ocaml/getter/http_getter_misc.mli
+++ b/helm/ocaml/getter/http_getter_misc.mli
@@ -95,3 +95,8 @@ val strip_suffix: suffix:string -> string -> string
 
 val extension: string -> string  (** @return string part after rightmost "." *)
 
+val temp_file_of_uri: string -> string * out_channel
+
+  (** execute a command and return first line of what it prints on stdout *)
+val backtick: string -> string
+