From 307b83cffa8a1e851d2e7ec28b07251918cff551 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 6 Jul 2005 15:49:55 +0000 Subject: [PATCH] added backtick function --- helm/ocaml/getter/http_getter_misc.ml | 6 ++++++ helm/ocaml/getter/http_getter_misc.mli | 3 +++ 2 files changed, 9 insertions(+) diff --git a/helm/ocaml/getter/http_getter_misc.ml b/helm/ocaml/getter/http_getter_misc.ml index 85b87cb93..b7b52bbf6 100644 --- a/helm/ocaml/getter/http_getter_misc.ml +++ b/helm/ocaml/getter/http_getter_misc.ml @@ -305,3 +305,9 @@ let temp_file_of_uri uri = let user = try Unix.getlogin () with _ -> "" in Filename.open_temp_file (user ^ flat_string uri ".-=:;!?/&" '_') "" +let backtick cmd = + let ic = Unix.open_process_in cmd in + let res = input_line ic in + ignore (Unix.close_process_in ic); + res + diff --git a/helm/ocaml/getter/http_getter_misc.mli b/helm/ocaml/getter/http_getter_misc.mli index e9086e8d1..e9b013ebd 100644 --- a/helm/ocaml/getter/http_getter_misc.mli +++ b/helm/ocaml/getter/http_getter_misc.mli @@ -97,3 +97,6 @@ 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 + -- 2.39.2