On Fri, Jul 11, 2014 at 6:00 PM, SegundoBob wrote:
> I tried five or six things that didn't work...before I realized that I hadn't
> tried
> the obvious...
> except KeyboardInterrupt:
Nice. Now I understand both your original question and it's
straightforward solution. Good work. It's somet
Thank you Terry and Ville for your suggestions.
---
Hitting Ctrl-C in the terminal used to start Leo-Editor is equivalent to
using a second terminal
to send the SIGINT signal to the Leo-Editor process.
Example:
If 2843 is the PID of the Leo-Editor process, then either of the following
sends the
On Tue, 8 Jul 2014 12:52:40 +0300
"Ville M. Vainio" wrote:
> Yeah, just press ctrl-c in the terminal you used to launch Leo
I was thinking more of locating the pid and sending a signal with
'kill', in the case where you didn't have the launching terminal
available :-)
Cheers -Terry
> On Jul 8
Yeah, just press ctrl-c in the terminal you used to launch Leo
On Jul 8, 2014 5:21 AM, "'Terry Brown' via leo-editor" <
leo-editor@googlegroups.com> wrote:
> On Mon, 7 Jul 2014 18:55:11 -0700 (PDT)
> SegundoBob wrote:
>
> > Does anyone know how to cancel a Leo-Editor script that is started by
>
On Mon, 7 Jul 2014 18:55:11 -0700 (PDT)
SegundoBob wrote:
> Does anyone know how to cancel a Leo-Editor script that is started by
> Ctrl-B?
I'm not sure if it can be done from Leo, I think the Ctrl-B scripts are
run in the same process as Leo itself. Would a solution involving
sending the sign
Does anyone know how to cancel a Leo-Editor script that is started by
Ctrl-B?
I know how to use Ctrl-C to cancel a python script that is run from the
command line:
import sys
import time
idx = 0
try:
while True:
print '{0}\r'.format(idx),
sys.stdout.flush()
idx += 1