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

mgit: print error if change_and_push failed (as suggested by @reynir)

Browse source
This commit is contained in:
Hannes Mehnert 2022-11-05 17:01:33 +01:00
parent cb37018a84
commit ad55d4888e
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
app/mgit.ml
View file

@ -140,7 +140,8 @@ let repl store fd_in =
| [ "quit"; ] -> Lwt.return () | [ "quit"; ] -> Lwt.return ()
| [ "fold"; ] -> | [ "fold"; ] ->
Store.change_and_push store0 (fun store1 -> go store1) Store.change_and_push store0 (fun store1 -> go store1)
>>= fun _ -> go store0 >|= Result.fold ~ok:Fun.id ~error:(function `Msg msg -> Fmt.epr "%s.\n%!" msg)
>>= fun () -> go store0
| [ "save"; filename ] -> | [ "save"; filename ] ->
save store0 filename >|= ignore save store0 filename >|= ignore
>>= fun _ -> if is_a_tty then Fmt.pr "\n%!" ; go store0 >>= fun _ -> if is_a_tty then Fmt.pr "\n%!" ; go store0