setup_cmd: add --output-pubkey

2026-02-17 05:19:17 +01:00 · 2026-02-17 05:19:17 +01:00 · 45648f15c1
commit 45648f15c1
parent eddc8127a1
3 changed files with 47 additions and 13 deletions
--- a/tools/gen_signatures_registry.ml
+++ b/tools/gen_signatures_registry.ml
@ -59,7 +59,16 @@ let registry_file = "registry.rec"
 let download () =
  let open Bos in
  let res =
-    OS.Cmd.run Cmd.(v "curl" % "-s" % "-o" % registry_file % "-X" % "GET" % url)
+    OS.Cmd.run
+      Cmd.(
+        v "curl"
+        % "--silent"
+        % "--show-error"
+        % "-o"
+        % registry_file
+        % "-X"
+        % "GET"
+        % url)
  in
  match res with
  | Error (`Msg s) -> Fmt.failwith "download failure: %s" s