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 +5 -1
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit e58a89c4f4 - Show all commits

2
app/dune
View file

@ -1,3 +1,3 @@
(executable (executable
(name mgit) (name mgit)
(libraries mirage-clock-unix logs.fmt fmt.tty git-unix git-kv)) (libraries mirage-clock-unix logs.fmt fmt.tty git-unix git-kv mirage-crypto-rng.unix))

4
app/mgit.ml
View file

@ -169,6 +169,10 @@ let run remote = function
| Ok t -> repl t Unix.stdin | Ok t -> repl t Unix.stdin
| Error (`Msg err) -> Fmt.failwith "%s." err ) | Error (`Msg err) -> Fmt.failwith "%s." err )
let run remote filename_opt =
let () = Mirage_crypto_rng_unix.initialize (module Mirage_crypto_rng.Fortuna) in
run remote filename_opt
let () = match Sys.argv with let () = match Sys.argv with
| [| _; remote; |] -> run remote None | [| _; remote; |] -> run remote None
| [| _; remote; filename; |] when Sys.file_exists filename -> | [| _; remote; filename; |] when Sys.file_exists filename ->