<djs55>
you can also build web UIs running over https
<mort___>
(djs55: aside— is resurrecting ssh a pioneer project? it could be :)
<companion_cube>
I mean, anyway: a mirage instance is only 1 process, right?
<companion_cube>
you won't have a shell or anything like this embedded
<djs55>
ssh would give you connections with input and output channels, you could write your own functions to handle those. Perhaps you would embed an ocaml toplevel?
<djs55>
mort__: yeah good idea
<companion_cube>
oh, I see
<companion_cube>
or maybe a toplevel that is specific to the application
<djs55>
yeah
<companion_cube>
like, a small type command = | Backup | Restart | Shutdown | ...
<companion_cube>
that would be nice, I suppose
<companion_cube>
(the good thing with ssh, indeed, is that you could bake the public keys in the mirage binary)
avsm1 has quit [Quit: Leaving.]
avsm has joined #mirage
larhat has quit [Quit: Leaving.]
thomasga has joined #mirage
tlockney_away is now known as tlockney
thomasga has quit [Quit: Leaving.]
cr409 has joined #mirage
cr409 has quit [Ping timeout: 272 seconds]
<cebka>
djs55: maybe it is worth to use tinyssh approach counting that there is ocaml-sodium which supports ed25519 and chacha20-poly1305
<cebka>
thought this particular mode is rather tricky: it uses 2 separate contexts for length encryption and for payload AEAD
thomasga has joined #mirage
rgrinberg has joined #mirage
dkibi has quit [Remote host closed the connection]
kdef has joined #mirage
mort___ has quit [Ping timeout: 265 seconds]
djs55 has quit [Ping timeout: 264 seconds]
seangrove has joined #mirage
avsm has quit [Quit: Leaving.]
jonludlam has quit [Quit: Coyote finally caught me]
seangrove has quit [Remote host closed the connection]
seangrove has joined #mirage
yomimono has quit [Ping timeout: 245 seconds]
kdef has quit [Quit: Leaving]
dkibi has joined #mirage
cr409 has joined #mirage
cr409 has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 264 seconds]
andreas has quit [Quit: Leaving.]
planetlarg has quit [Ping timeout: 272 seconds]
tlockney is now known as tlockney_away
tlockney_away has quit [Quit: I may return, one day...]
tlockney has joined #mirage
jonludlam has joined #mirage
tlockney is now known as tlockney_away
djs55 has joined #mirage
kdef has joined #mirage
tlockney_away is now known as tlockney
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
dsheets has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
jonludlam has quit [Ping timeout: 244 seconds]
brson has joined #mirage
djs55 has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
avsm has joined #mirage
englishm has joined #mirage
englishm has joined #mirage
englishm has quit [Changing host]
englishm_ has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: Leaving.]
tlockney is now known as tlockney_away
rgrinberg has joined #mirage
djs55 has joined #mirage
mort___ has joined #mirage
yomimono has joined #mirage
avsm has quit [Quit: Leaving.]
thomasga has quit [Ping timeout: 272 seconds]
djs55 has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 264 seconds]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
djs55 has joined #mirage
brson has quit [Quit: leaving]
thomasga has joined #mirage
brson has joined #mirage
yomimono has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: Leaving.]
seangrove has quit [Remote host closed the connection]
rgrinberg has joined #mirage
seangrove has joined #mirage
andreas has joined #mirage
andreas1 has joined #mirage
andreas has quit [Ping timeout: 272 seconds]
djs55 has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
MrScout has quit [Remote host closed the connection]
rgrinberg has joined #mirage
MrScout has joined #mirage
MrScout_ has joined #mirage
MrScout has quit [Read error: Connection reset by peer]
cr409 has joined #mirage
dkibi has quit [Remote host closed the connection]