I suppose it can be done with the git also. But in that case user would need to have git installed and also git would need to recreate '.git' subfolder inside temporary folder every time. Fossil OTOH, keeps all its data in just one file which is in fact just sqlite3 database file. One can access its content with sqlite3 python module. Fossil itself is just one executable file about 1.5 - 2Mb which can be downloaded by a python script if it is not already available in the system path. Fossil executable contains also a standalone web server and can communicate and synchronize data with remote repositories through HTTP or SSH.
Scripts do not depend that much on fossil. They just run fossil through subprocess module. All that is needed to replace fossil with git is to change command line arguments. I believe fossil and git have similar commands but they use different names. If you are interested in those scripts I will try to find (or recreate) and share them. Vitalije On Friday, January 13, 2017 at 5:31:48 PM UTC+1, Edward K. Ream wrote: > > On Fri, Jan 13, 2017 at 4:53 AM, vitalije <[email protected] <javascript:> > > wrote: > > Converting from xml to (say) json, won't help. >>> >> IMHO it is not necessarily true. I don't suggest changing Leo document >> format from xml to json or any other format. But there can be found a >> scheme of encoding a Leo document in such a way that its changes can be >> expressed in a human readable diffs. >> > > This is very interesting. Do you think your ideas/scripts can be adapted > to git? > > > I didn't go any further in developing that idea mostly because I > couldn't find a good way to show those choices to the user and to show > different versions of a node. > > Yes, this a real problem. I'm not sure even perfect, high-level diffs do > much good if the user can't use them easily. > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
