[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Irmin API newbie questions



On 17 February 2015 at 10:38, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>>> One layer that would be very useful over this commit graph is some notion of
>>> diffs.  I'd quite like to be able to describe a data structure in terms of
>>> patches, since that's quite often the reason why I'm traversing the history
>>> in the first place.  If I just want to go back in time, I can stash relevant
>>> points in a tag and never need to walk the commit history.
>>
>> Good idea, I'll try to see if I can add a diff on the graph edges (via a 
>> user-provided function to compute diffs)
>
> I've added a simple `Irmin.history` function to get the graph of commits: 
> http://mirage.github.io/irmin/Irmin.html#VALhistory

Thanks - that's working nicely. I've added a page to my js_of_ocaml
app that shows the last few commits.

Note: it's probably worth removing "Irmin inside the browser" from the
Pioneer Projects list now. It's working fine (with HTML5 storage).
Getting it to work is just a case of modifying Irmin to use Daniel
BÃnzli's pure-OCaml implementation of SHA-1 and implementing a few JS
helpers for blitting with bigarrays.

> There is no diff on the edges yet (see 
> https://github.com/mirage/irmin/issues/151 which keeps track of that).


-- 
Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.