It's a mistake on my part, sorry!
Martin
Am Freitag, 17. April 2015 23:55:04 UTC+2 schrieb Martin R:
>
> Hi Frederic!
>
> It seems to me that the patchbot 2.3.3 reports itself as patchbot 2.2, is
> this possible or a mistake on my part?
>
> Martin
>
> Am Mittwoch, 15. April 2015 22:55:34 UTC+2 s
Hi Frederic!
It seems to me that the patchbot 2.3.3 reports itself as patchbot 2.2, is
this possible or a mistake on my part?
Martin
Am Mittwoch, 15. April 2015 22:55:34 UTC+2 schrieb Frédéric Chapoton:
>
> Hello,
>
> As I have said before, I have no machine other than my laptop, so I only
> t
On Wednesday, 15 April 2015 21:55:34 UTC+1, Frédéric Chapoton wrote:
>
> Hello,
>
> As I have said before, I have no machine other than my laptop, so I only
> test the patchbot on my own sage installation on that laptop.
>
Should we find a machine for you to run patchbot, if your university is
Hello,
As I have said before, I have no machine other than my laptop, so I only
test the patchbot on my own sage installation on that laptop.
This means that I test it interactively inside an Ipython Session, and only
in plugin_only mode, so that it will not run too long and destroy my sage
ins
On 2015-04-15 17:41, Frédéric Chapoton wrote:
oops ! Thanks a lot. I was not sure which one of the two lines must
really be first, so I choose the utf8 one..
Obvious question: do you actually try the patchbot yourself before
making a new public package?
--
You received this message because y
oops ! Thanks a lot. I was not sure which one of the two lines must really
be first, so I choose the utf8 one..
I have now remade patchbot-2.3.3 and put the new file ready for upload.
Le mercredi 15 avril 2015 17:18:07 UTC+2, Jeroen Demeyer a écrit :
>
> On 2015-04-15 17:15, Frédéric Chapoton w
On 2015-04-15 17:15, Frédéric Chapoton wrote:
Damn ! Thanks for the feedback. But what can it mean ?
You messed up the #! line in patchbot.py, it should be the *first* line!
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from th
Damn ! Thanks for the feedback. But what can it mean ?
Le mercredi 15 avril 2015 17:03:47 UTC+2, Jeroen Demeyer a écrit :
>
> Doesn't work:
>
> import import: Unable to open XServer ().
> import import: Unable to open XServer ().
> import import: Unable to open XServer ().
> import import: Una
Doesn't work:
import import: Unable to open XServer ().
import import: Unable to open XServer ().
import import: Unable to open XServer ().
import import: Unable to open XServer ().
import import: Unable to open XServer ().
import import: Unable to open XServer ().
import import: Unable to open X
Hello, Ladies and Gentlemen,
if your patchbot misbehaves (I am thinking to sage4)
or runs a version older than 2.2, then
*please consider upgrading to the tamer patchbot 2.3.3*
sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.3.spkg
By default it only tests safe tickets and uses the deve
10 matches
Mail list logo
