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.
On Thursday, August 20, 2020 at 7:00:05 PM UTC-4 Edward K. Ream wrote: > On Thu, Aug 20, 2020 at 1:06 PM k-hen <[email protected]> wrote: > >> Hi, >> Just wondering - Is there perhaps a way to interrupt Leo without fully >> killing it? >> > > There isn't, and it's not likely ever to happen. > > In general, you want a work flow that is impervious to killing Leo from > the console. Using git to protect valuable original sources is what I > recommend. `git checkout .` will undo any horrors :-) > > 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/96f70747-3886-4207-9dfd-8daf5d370c75n%40googlegroups.com.
