robur/git-kv
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix mgit rng initialization, add mgit mtime command #9

Merged
reynir merged 2 commits from mgit-mtime into main 2024-12-19 13:30:01 +00:00
Conversation 1 Commits 2 Files changed 2 +12
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 64653f79d5 - Show all commits

12
app/mgit.ml
View file

@ -82,6 +82,15 @@ let list ~quiet store key =
if not quiet then Fmt.epr "%a.\n%!" Store.pp_error err ;
Lwt.return (Ok 1)
let last_modified ~quiet store key =
Store.last_modified store key >>= function
| Ok time ->
Fmt.pr "%a\n%!" Ptime.pp time;
Lwt.return (Ok 0)
| Error err ->
if not quiet then Fmt.epr "%a.\n%!" Store.pp_error err ;
Lwt.return (Ok 1)
let pull ~quiet store =
Git_kv.pull store >>= function
| Error (`Msg err) -> if not quiet then Fmt.epr "%s.\n%!" err ; Lwt.return (Ok 1)
@ -134,6 +143,9 @@ let repl store fd_in =
| [ "list"; key; ] ->
with_key ~f:(list ~quiet:false store0) key
>|= ignore >>= fun () -> go store0
| [ "mtime"; key; ] ->
with_key ~f:(last_modified ~quiet:false store0) key
>|= ignore >>= fun () -> go store0
| [ "pull"; ] ->
if is_a_tty then Fmt.pr "\n%!" ; pull ~quiet:false store0
>|= ignore >>= fun () -> go store0