I finally got around to pack and publish my new plugin history_tracer. In order to be useful one must have installed leo-ver-serv utility. I'll try to make it available as a binary file for Ubuntu 18.04 and Windows 10.
It should be straightforward to install from source if one already has installed cargo, a Rust building and package management tool. Here <https://doc.rust-lang.org/cargo/getting-started/installation.html> is described how to install cargo. If you have cargo installed then installation of leo-ver-serv would be quite easy. cargo install leo-ver-serv For Ubuntu 18.04 pre-built binary can be found here <https://computingart.net/data/leo-ver-serv> size 9.2M, sha1sum: .9ca502f10ad4c35b1f538a0a1dbfe17ad4724155. After installation, leo-ver-serv should be run with the following command: leo-ver-serv ~/.leo/.leoRecentFiles.txt 8087 The first argument should be a filename of a file containing list of absolute paths to known Leo files. One suitable file that can be used is ~/.leo/.leoRecentFiles.txt which contains list of recently used Leo files. Only files whose names are listed in this file will have their history tracked. The second argument is a port number. The same port number must be in your settings @int history-tracer-port which by default has value 8087. Once you have leo-ver-serv running, you can start Leo and every time you are inactive for more than 5 seconds, history_tracer plugin will send a snapshot of current outline to leo-ver-serv and that version will be recorded. If you wish to see previous versions you can open: http://localhost:8087/ in your browser. Vitalije -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/761e1d6a-8dab-4af8-b048-c2a5a503af29%40googlegroups.com.
