swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

clean up offline tool

Browse source
This commit is contained in:
swrup 2026-02-10 14:48:02 +01:00
parent 0653e865cf
commit 313af65047
5 changed files with 184 additions and 179 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tools/offline.ml
View file

@ -1,5 +1,5 @@
(* TODO
change download_cmd/upload_cmd
better cmd doc
change arguments: '_' -> '-'
all management operations:
@ -99,8 +99,8 @@ let download_cmd =
let doc = "GET" in
Cmd.make (Cmd.info "download" ~doc)
@@
let+ output = output in
download ~output
let+ output = output and+ url = url in
download ~output ~url
let upload_cmd =
let doc = "POST" in