Thanks, Frederic. Your suggestions differs from Volker's in several
ways, which underlines the need, I think, for all this to be
documented somewhere!
* I installed the spkg instead of downloading a new repository from github
* I ran it on a machine where I had a clean 5.11 build and which I was
On 2 October 2013 12:17, John Cremona wrote:
> On 2 October 2013 12:08, Volker Braun wrote:
>> On Wednesday, October 2, 2013 11:34:07 AM UTC+1, John Cremona wrote:
>>>
>>> > sage -patchbot # run
>>>
>>> Should this sage be the last official release, or the latest
>>> development release? And
On 2 October 2013 12:08, Volker Braun wrote:
> On Wednesday, October 2, 2013 11:34:07 AM UTC+1, John Cremona wrote:
>>
>> > sage -patchbot # run
>>
>> Should this sage be the last official release, or the latest
>> development release? And does the second line just keep running
>> forever (wh
On Wednesday, October 2, 2013 11:34:07 AM UTC+1, John Cremona wrote:
> > sage -patchbot # run
>
> Should this sage be the last official release, or the latest
> development release? And does the second line just keep running
> forever (which is fine)?
>
Its supposed to run forever, first
On 2 October 2013 11:28, Volker Braun wrote:
> Just install the optional spkg:
>
> sage -f patchbot # install
> sage -patchbot # run
Should this sage be the last official release, or the latest
development release? And does the second line just keep running
forever (which is fine)?
John
Just install the optional spkg:
sage -f patchbot # install
sage -patchbot # run
On Wednesday, October 2, 2013 9:50:30 AM UTC+1, John Cremona wrote:
>
> On 2 October 2013 09:43, Volker Braun >
> wrote:
> > Also, having more than my machine run the patchbot would be useful. My
> > desktop
On 2 October 2013 09:43, Volker Braun wrote:
> Also, having more than my machine run the patchbot would be useful. My
> desktop is only connected via wifi currently.
Can you point me to instruction for setting this up? I have spare
capacity at the moment.
John
>
>
> On Tuesday, October 1, 2013
