Re: [sage-devel] Re: Patchbot monitoring

2017-06-30 Thread Erik Bray
On Fri, Jun 30, 2017 at 4:04 PM, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > On 30/06/2017 13:53, Erik Bray wrote: >> >> On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote: >>> >>> >>> >>> On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote: Does anyone who run

Re: [sage-devel] Re: Patchbot monitoring

2017-06-30 Thread Vincent Delecroix
On 30/06/2017 13:53, Erik Bray wrote: On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote: On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote: Does anyone who runs / administers Sage patchbots have any hints/tips regarding monitoring of their patchbots? I run a patchbot using

Re: [sage-devel] Re: Patchbot monitoring

2017-06-30 Thread Erik Bray
On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote: > > > On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote: >> >> Does anyone who runs / administers Sage patchbots have any hints/tips >> regarding monitoring of their patchbots? > > > I run a patchbot using screen. > > 1. I use "scree

[sage-devel] Re: Patchbot monitoring

2017-06-30 Thread Kwankyu Lee
On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote: > > Does anyone who runs / administers Sage patchbots have any hints/tips > regarding monitoring of their patchbots? > I run a patchbot using screen. 1. I use "screen -r" to see what the patchbot is doing currently. 2. I check lo