englishm_ has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
englishm has joined #mirage
englishm1 has joined #mirage
philtor has joined #mirage
englishm1 has quit [Ping timeout: 240 seconds]
englishm has quit [Ping timeout: 264 seconds]
philtor has quit [Ping timeout: 245 seconds]
englishm has joined #mirage
englishm_ has joined #mirage
englishm1 has joined #mirage
englishm has quit [Ping timeout: 260 seconds]
mort___ has quit [Quit: Leaving.]
englishm_ has quit [Ping timeout: 240 seconds]
englishm1 has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
dsheets has quit [Ping timeout: 240 seconds]
mort___ has joined #mirage
mort___ has quit [Remote host closed the connection]
dsheets has joined #mirage
djs55 has joined #mirage
djs55 has quit [Client Quit]
djs55 has joined #mirage
<dsheets> djs55, are you a mirage admin?
<dsheets> djs55, on github that is. Can I have rights to mirage-fs-unix so I can release 1.1.1?
<dsheets> Can forward authorization mail from avsm, if desired.
<djs55> yeah sure, I'll take a look
<djs55> hm, do I need to create a team just for this?
<dsheets> djs55, erm... don't think so? you can't just add a non-team single-repo admin?
<dsheets> i won't refuse org ownership bits
<djs55> :)
<dsheets> djs55, ?
<djs55> just a sec
<dsheets> ok, sry
<djs55> ok try now
<djs55> (you should have push/pull access to mirage-fs-unix)
<djs55> I assume that includes releasing
<dsheets> cool, thanks
<djs55> anytime
<hannes> dsheets: thx for merging. over the weekend I thought you might be right and / .. should be unified to / (as common in posix semantics)
<dsheets> hannes, i'm about to release so if you want those semantics, we should do that imminently
<hannes> dsheets: hang on for 3 minutes, I'll submit a PR
<dsheets> if the error that bubbles includes a path, a user lib can opt to fixpoint /
<hannes> hmm
<dsheets> this may cause endless confusion, though
<hannes> actually re-thinking, since the path is not absolute, but relative, I think the current semantics are fine
<dsheets> i think the posix/url behavior makes sense
<dsheets> at least it's consistent
<dsheets> cd ../../../../../../../../../../../../../../ doesn't ENOENT
<hannes> dsheets: realpath on a full path makes sense, whereas here we have only a partial path (base gets prepended)
<dsheets> sure, but base is treated like a chroot
<hannes> ok.
<hannes> also makes the code much simpler... working on it
adsisco_ has joined #mirage
<hannes> (which is very much untested apart from the fact that it compiles)
<dsheets> hannes, ok, we should probably start test suites for mirage components
<dsheets> see single comment on PR then i'll crank 1.1.1
<dsheets> i'll run the same acceptance test against tls-demo-server
<hannes> renamed ; also tested (the KV_RO) against tls-demo-server. didn't test FS_unix for non-escaping
<dsheets> ok, i've already got the env setup for it. i'll just rerun it to check it mitigates
<hannes> please do
thomasga has joined #mirage
<dsheets> hannes, https://github.com/ocaml/opam-repository/pull/2378 thx for the patch
<dsheets> thomasga, hannes has mirage moved to ocaml >= 4.01 only?
<thomasga> why ?
<thomasga> it has moved to what we are testing in Travis I think :p
<thomasga> (and yes, I remember seeing a thread about that recently … maybe related to the mini-os patches)
<thomasga> btw, irmin works with >= 4.01 only
<dsheets> thomasga, trying to decide whether to keep ( |> ) use in fs_common of mirage-fs-unix or just mark the opam file as >=4.01
<thomasga> I think we could target 4.01
<thomasga> as 4.02 will be out soonish anyway
<thomasga> so yes, feel free to use |>
<dsheets> ok, thx
englishm_ has joined #mirage
englishm1 has joined #mirage
englishm has joined #mirage
english__ has joined #mirage
englishm has quit [Client Quit]
englishm_ has quit [Ping timeout: 240 seconds]
englishm1 has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
AltGr has joined #mirage
avsm has joined #mirage
jprakash has joined #mirage
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
avsm has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
<djs55> hannes: are you or David in the CL atm?
<djs55> (sorry not sure what David's nic is!)
<djs55> if either of you are around and want to chat to the codenomicon guys, they're around atm
<hannes> djs55: yes. I am.
<hannes> djs55: I'll drop by your office now
<djs55> hannes: argh, I'm over in citrix still
<djs55> hannes: but the codenomicon guys are interested in dropping by the CL and saying hi to you guys
tlockney is now known as tlockney_away
<hannes> djs55: sure, they should.
<djs55> cool, I'll send them your way!
<hannes> djs55: you can tell them to call +447586989638 (me) to contact me
tlockney_away is now known as tlockney
<djs55> great, I'll send them over!
philtor has joined #mirage
philtor has quit [Ping timeout: 240 seconds]
philtor has joined #mirage
philtor has quit [Ping timeout: 256 seconds]
yomimono has joined #mirage
englishm has joined #mirage
english__ has quit [Ping timeout: 240 seconds]
mort___ has quit [Quit: Leaving.]
AltGr has left #mirage [#mirage]
englishm has quit [Remote host closed the connection]
djs55 has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 260 seconds]
englishm has joined #mirage
mort___ has joined #mirage
dsheets has joined #mirage
englishm has quit [Ping timeout: 250 seconds]
englishm has joined #mirage
yomimono has quit [Quit: Leaving]
englishm has quit [Read error: Connection reset by peer]
englishm_ has joined #mirage
englishm_ has quit [Read error: Connection reset by peer]
englishm has joined #mirage
djs55 has joined #mirage
mort___ has quit [Quit: Leaving.]
englishm has quit [Ping timeout: 255 seconds]
englishm has joined #mirage
djs55 has quit [Quit: Leaving.]
englishm has quit [Ping timeout: 250 seconds]
englishm has joined #mirage
mort___ has joined #mirage
philtor has joined #mirage
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
philtor has quit [Ping timeout: 245 seconds]
mort___ has quit [Quit: Leaving.]
englishm has quit [Read error: Connection reset by peer]
englishm_ has joined #mirage
philtor has joined #mirage
dsheets has quit [Ping timeout: 250 seconds]
englishm_ has quit [Remote host closed the connection]
mort___ has joined #mirage
thomasga has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
philtor has quit [Ping timeout: 245 seconds]
philtor has joined #mirage
mort___ has joined #mirage
philtor has quit [Ping timeout: 260 seconds]