This commit is contained in:
parent
52fabd085a
commit
06430b25a3
2 changed files with 2 additions and 2 deletions
|
|
@ -11,8 +11,7 @@ let download ~base_url ~output =
|
|||
let uri =
|
||||
Uri.with_path (Uri.of_string base_url) "/management/keys/" |> Uri.to_string
|
||||
in
|
||||
let wget = Cmd.(v "wget" % "-O" % output % uri) in
|
||||
OS.Cmd.run wget
|
||||
OS.Cmd.run Cmd.(v "curl" % "-o" % output % "-X" % "GET" % uri)
|
||||
|
||||
let upload ~base_url ~input =
|
||||
let open Bos in
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue