Good catch. I forgot to add it. Rev d8fc8bc <https://github.com/leo-editor/leo-editor/commit/d8fc8bc81edb9dae64789a90a07f57c1dfcb6211> contains the plugin.
On Saturday, September 28, 2019 at 10:10:03 PM UTC+2, btheado wrote: > > Vitalije, > > I'm see a blank @file history_tracer.py. Did you forget a 'git add'? > > Brian > > On Sat, Sep 28, 2019 at 2:22 PM vitalije <[email protected] <javascript:>> > wrote: > >> 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] <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/leo-editor/761e1d6a-8dab-4af8-b048-c2a5a503af29%40googlegroups.com >> >> <https://groups.google.com/d/msgid/leo-editor/761e1d6a-8dab-4af8-b048-c2a5a503af29%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- 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/746cb984-8185-4973-abb2-420531bf4a2c%40googlegroups.com.
