tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
dsheets has quit [Ping timeout: 255 seconds]
NoNNaN has quit [Read error: Connection reset by peer]
NoNNaN has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg 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
rgrinberg has quit [Quit: Leaving.]
tlockney is now known as tlockney_away
thomasga has joined #mirage
cr409 has joined #mirage
AltGr has joined #mirage
thomasga has quit [Quit: Leaving.]
talex5 has joined #mirage
avsm has joined #mirage
talex5 has quit [Ping timeout: 250 seconds]
dsheets has joined #mirage
djs55 has joined #mirage
talex5 has joined #mirage
thomasga has joined #mirage
dsheets has quit [Ping timeout: 276 seconds]
avsm1 has joined #mirage
avsm has quit [Ping timeout: 252 seconds]
thomasga1 has joined #mirage
thomasga has quit [Ping timeout: 252 seconds]
cr409 has quit [Ping timeout: 240 seconds]
cr409 has joined #mirage
cr409 has quit [Ping timeout: 240 seconds]
cr409 has joined #mirage
dsheets has joined #mirage
cr409 has quit [Ping timeout: 252 seconds]
cr409 has joined #mirage
talex5 has quit [Quit: Saliendo]
cr409 has quit [Ping timeout: 265 seconds]
thomasga1 has quit [Quit: Leaving.]
avsm1 has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
<jonludlam> is the hdmi output of the cubieboard supposed to work with the xen-arm-builder image?
thomasga has joined #mirage
thomasga has quit [Ping timeout: 255 seconds]
djs55 has joined #mirage
thomasga has joined #mirage
avsm has joined #mirage
rgrinberg has joined #mirage
avsm1 has joined #mirage
avsm has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: Leaving.]
AltGr has left #mirage [#mirage]
rgrinberg has joined #mirage
<dsheets> thomasga, is there a blob metadata type in irminsule somewhere? do i just need to make some JSON structures to represent metadata?
<thomasga> nothing done yet
<thomasga> just create your own and unroll the functors
<dsheets> unroll?
<thomasga> apply
<dsheets> thomasga, e.g. a new IrminContents.S?
<thomasga> righ, I cannot push to Github using https so I cannot test the new 'ogit push' stuff
<thomasga> dsheets: yes
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<thomasga> avsm1: I think you forgot to add comments in that file https://github.com/mirage/ocaml-conduit/blob/master/lib/lwt_unix_conduit.mli
<dsheets> thomasga, what do you do for hard links?
<thomasga> dsheets: nothing
<dsheets> irminsule doesn't support them? i mean... there is a primary interpretation of the db?
<thomasga> well, the db is just a tree
<dsheets> i could always represent nodes separate from the tree but then you can't just look at the db like a tree?
<thomasga> you can create hard-link, but then you once created you cannot inspect them easily
<dsheets> /.nodes/23442 and /some/path/to/ino_23442 which points to /.nodes/23442 is rather... boring
<thomasga> I mean, you can create a view on a sub-path, and update an other path with that view
<thomasga> the subtrees will be shared
<thomasga> you'll have access to the same sub-nodes when you do read (src @ [a;b]) and read (dst @ [c; d])
<thomasga> but when you write on one of the path, they will become different
<thomasga> so no hard-link …
<dsheets> hmm... are "directories" transparent or can I supply representations via something like IrminContents?
<thomasga> they are transparent
<thomasga> not sure what you mean but that though
<dsheets> i need to store metadata on directory nodes
<thomasga> but IrminContent is just about the tree contents
<dsheets> if the db just assumes they are names without metadata...
<thomasga> ha
<thomasga> yes
<thomasga> you can do this
<thomasga> it's a prefix tree
<thomasga> every node can have some contents
<dsheets> great ok
<thomasga> not only the leaf nodes
NoNNaN has quit [Remote host closed the connection]
avsm has joined #mirage
avsm1 has quit [Ping timeout: 276 seconds]
<dsheets> thomasga, so... what happens when directory nodes with contents get projected to git? is it stored in the tree object?
<thomasga> its stored into .contents
NoNNaN has joined #mirage
<thomasga> (yes … that's ugly)
<thomasga> (but well ….)
<dsheets> and if i have something called ".contents"?
<thomasga> the universe exploses
<dsheets> oh sh!t
<thomasga> (same thing if you have a file called "." I guess)
<dsheets> all my files are named "/" or "." or a permutation of those
<thomasga> that's a damn good idea
<dsheets> sometimes i use "*" when i can't think of another name, sorry
<dsheets> is there a cheap/free way to get Ezjsonm codecs? do I just have to deconstruct my types and write the codec by hand?
<thomasga> for your new contents.S ?
<dsheets> yeah
<thomasga> if yes, don't worry about that, it's just for the HTTP backend
<dsheets> oh, ok
<thomasga> otherwise, use the combinators in Ezjsonm
<thomasga> they are dump, but that's not too bad
<thomasga> dumb
djs55 has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
<dsheets> thomasga, are missing nodes merged with existing nodes silently?
<thomasga> ?
<dsheets> if /path/node is in old and then deleted in t1 but modified in t2, do i get to know about this in my merge function?
NoNNaN has quit [Remote host closed the connection]
<thomasga> currently, you have a conflict
<thomasga> in the tree structure
<thomasga> could "leak" that to the contents level if you think that's useful
<dsheets> ok. that seems reasonable. i guess it might be useful to get some metadata about the deletion
<dsheets> IrminUncontents
<dsheets> we'll see if it crops up in practice
<dsheets> thomasga, cool, thx
<thomasga> rhaaa, that's very frustrating to not have backtraces with Lwt
<dsheets> obv you should use the camlp4 syntax...
cr409 has joined #mirage
NoNNaN has joined #mirage
<whitequark> or ppx syntax!
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #mirage
djs55 has joined #mirage
dsheets has quit [Ping timeout: 252 seconds]
avsm has joined #mirage
thomasga has quit [Ping timeout: 264 seconds]
djs55 has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
thomasga has joined #mirage
dsheets has joined #mirage
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
<thomasga> dsheets: is there any chance than git@gtihub.com:foo/bar.git can be read as a Uri.t ?
<dsheets> thomasga, no, unfortunately, linus doesn't understand the internet
<thomasga> sweet
<dsheets> should be a colon after the host
<dsheets> also, it's a little weird to not have a scheme
<dsheets> but //git@github.com/foo/bar.git would be a Uri.t
<thomasga> ritgh, I'll look into Git source-code
<dsheets> i don't think they use URLs... there is a git scheme, though
<thomasga> there some funny redirection going on for Github url though
<dsheets> but they haven't defined a fragment identifier syntax for identifying parts of a repository
<thomasga> need to use the Git port, but with an HTTP(s) uri
<dsheets> git@github.com:foo/bar.git is an SSH remote file id...
<dsheets> we could force it and make some crazy scheme that has a radically different syntax or some terrible blend of URL and SSH remote file id
<dsheets> thomasga, should probably have a git repo identifier -> git+ssh or git scheme Uri.t
<thomasga> yup
<dsheets> and probably the inverse, too
<thomasga> I'll try to have a working push first with a dirty hack and I'll make something cleaner later :p
cr409 has quit [Ping timeout: 250 seconds]
tlockney_away is now known as tlockney
mort___ has joined #mirage
djs55 has joined #mirage
<thomasga> any idea how to debug a Ssl.Error_syscall error ?
avsm has joined #mirage
<thomasga> great: error:00000000:lib(0):func(0):reason(0)
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #mirage
avsm has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
djs55 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
NoNNaN has quit [Ping timeout: 272 seconds]
NoNNaN has joined #mirage
avsm has joined #mirage
thomasga has quit [Quit: Leaving.]
cr409 has joined #mirage
thomasga has joined #mirage
thomasga has quit [Client Quit]
thomasga has joined #mirage
<avsm> ive started to rewrite the cohttp build system with OcamlMakefile, hrm.
<avsm> partying like it's 2001
cr409 has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #mirage
mort___ has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]