update to mirage 4.8 #4
Loading…
Reference in a new issue
No description provided.
Delete branch "mirage-48"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
@ -18,4 +4,0 @@
Runtime_arg.create ~pos:__POS__
{|let open Cmdliner in
let doc = Arg.info ~doc:"The private SSH password." [ "ssh-password" ] in
Arg.(value & opt (some string) None doc)|}
How you can pass
ssh-key
andssh-password
then to the unikernel? I actually needsgit_ssh
for my usage.In general, you don't and shouldn't ;) the command line arguments are private to the ssh/git device -- why would you need them elsewhere?
As a hack, you can inspect the value of
Mirage_runtime.runtime_args ()
and take a look inside. But I really encourage that we disentangle / find a path on how you don't need to havessh-key
andssh-password
in your unikernel.Another option is to have functions providing these values in the Git_mirage.
Hmmhmm, I need to test the unikernel if I'm still able to synchronize the repo from a Git repository via SSH. As far as I understand, I should be able to do that.
Maybe not the best thing right now (let's fix that), but we have:
We may move the DNS into a custom section, the HE into a custom section, and also the higher level (SSH/TLS/GIT) options into a custom section, and leave NETWORK for everything up to IPv4/IPv6.
merged after brief discussion with @reynir