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/CAMF8tS1u323EPKJ5CpxPy9%3DFhTuUBC578ajgLPCozOyC750eCQ%40mail.gmail.com.
