leo-ver-serv will store all the history of Leo files in the sqlite3 
database files named after the original Leo files, just with added 
'.history'. If for example you edit workbook.leo file, leo-ver-serv will 
store changes to workbook.leo.history in the same folder.

Vitalije

On Friday, August 21, 2020 at 8:53:29 PM UTC+2, k-hen wrote:
>
> Excellent, I'll check it out - thanks! - do you happen to know if that 
> history_tracer works with the sqlite/db back-end?
> Re: interrupt, that's great news too - in addition to just Leo functions, 
> if/when I get database queries working, being able to cancel the command is 
> a relatively critical use case there too :-)
>
> Kevin
>
>
> On Friday, August 21, 2020 at 1:24:43 PM UTC-4 vitalije wrote:
>
>>
>>
>> On Friday, August 21, 2020 at 4:14:43 PM UTC+2, k-hen wrote:
>>>
>>> Yes, absolutely, I'm a huge proponent of Git and it's toolchain :-)
>>> That said I want my personal comments and notes and settings *outside* 
>>> of git and not checked in as well. 
>>> So I need both regular backups/protection for Leo in _addition_ to the 
>>> Git repo which is synced with other devs.
>>>
>>>
>> I am not sure this is relevant, but there is a history_tracer plug-in 
>> which takes snapshots of your Leo files after each change. That is 
>> something like making git commit after each edit. You need to have 
>> leo-ver-serv program running and your Leo documents must be on the list of 
>> files that leo-ver-serv should keep an eye on.
>>
>> By the way, I would also like that we could interrupt Leo without killing 
>> it. On several occasions I missed that functionality. I've added support 
>> for interrupting the execute-script command in Leo, and it wouldn't be so 
>> hard to support many other commands. I don't have the time to do it myself 
>> right now, but I guess it would be sufficient to add try/except 
>> KeyboardInterrupt pair around some global method that executes commands. 
>> This might not cover all commands, but it certainly would cover a lot of 
>> them. Edward was recently refactoring key handling code and I believe there 
>> is a method something like a main command handler there.
>>
>> 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/326dddfc-790f-4fa6-9a10-4f917ea88c1eo%40googlegroups.com.

Reply via email to