cargo install leo-ver-serv
leo-ver-serv ~/.leo/.leoRecentFiles.txt 8087
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 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-servFor Ubuntu 18.04 pre-built binary can be found here size 9.2M, sha1sum: .9ca502f10ad4c35b1f538a0a1dbfe17ad4724155.
After installation, leo-ver-serv should be run with the following command:
leo-ver-serv ~/.leo/.leoRecentFiles.txt 8087The 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 leo-editor+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/761e1d6a-8dab-4af8-b048-c2a5a503af29%40googlegroups.com.
To unsubscribe from this group and stop receiving emails from it, send an email to leo-e...@googlegroups.com.
To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/746cb984-8185-4973-abb2-420531bf4a2c%40googlegroups.com.
I finally got around to pack and publish my new plugin history_tracer.
I finally got around to pack and publish my new plugin history_tracer.
If you have cargo installed then installation of leo-ver-serv would be quite easy.
cargo install leo-ver-serv
cargo build
I am travelling and can't do much about this at the moment. From the log I see that it complains about missing text test files. They aren't essential. Try adding any text files on those paths. They only serve for testing and I should have added them to the repository, but I had forgotten. When I get back I'll add them to git.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 leo-editor+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/1a375568-4aec-4cad-bf0d-6178a3e46165%40googlegroups.com.
This morning I've successfully built it with the `cargo install leo-ver-serv` command on Windows10 laptop.
c:\bin\leo-ver-serv-v0.1.7.exe C:\Users\edreamleo\leo-ver-server-files.txt 8087
C:\leo.repo\leo-editor\leo\core\leoPy.leo
c:\Users\edreamleo\ekr.leo
Try to write leo-ver-server-files.txt using unix new lines. Does leo-ver-serv.exe produces any output in console?
--
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 leo-editor+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS3KbhoGxYUBQRr%2BD2vaQRBjAN81DeekMpR%3D0X-AxrNLwQ%40mail.gmail.com.
Things one should know about leo-ver-serv and history_tracer.py.
- leo-ver-serv should be running before Leo opens and the port it listens on should match the one from Leo settings (by default 8087)
- if leo-ver-serv is running correctly it should populate the Leo files combo-box on http://localhost:8087/public/index.html
if this is not the case something is wrong and it is best to check browser's console for errors.
Failed to execute ‘postMessage’ on ‘DOMWindow’: The target origin provided (‘https://hangouts.google.com’) does not match the recipient window’s origin (‘https://mail.google.com’).Edward