Chris, On Sun, Sep 15, 2019 at 7:11 AM Chris George <[email protected]> wrote: [...]
> #!/bin/bash > > cd ~/leo-editor > git pull > cd /working/MEGA/leo-files > ./rerun2 ./push & > python3 ~/leo-editor/launchLeo.py $1 $2 $3 > > > Thanks for sharing. [...rerun2 script...] At a glance, that script seems to be performing the function of the entr utility, so 6 one way, half-dozen the other Since rerun2 is still part of the console session it closes when I close > Leo which looks after having it hang around clutttering up the joint. > > This might be a little tighter than the method you use. > Here is where I'm confused. You are launching rerun2 in the background, so it will outlast your bash script for sure. Are you saying you close your console when leo exits and that causes rerun to exit? I run a console with many tabs open. In one tab I launch leo. If I leo exits, I just launch again within the same console instance. With that use case I expect to end up with multiple instances of rerun2. Brian -- 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/CAO5X8CzXFKGCW6f%2BrScJPCkAyY%3DNXyoZMfLFUSfV17VZrZkaSg%40mail.gmail.com.
