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

.

Browse source
This commit is contained in:
swrup 2026-02-10 14:51:09 +01:00
parent a0340bd100
commit b04f0dc949
3 changed files with 25 additions and 25 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