oops, sorry. Indeed *skip-base* and *safe-only* do not take an argument. I think I have found and corrected the problem. Should be in the next release.
Do you happen to know who runs "pi", "grobner", "sage4" and so on ? Frederic Le jeudi 9 avril 2015 09:42:56 UTC+2, Jeroen Demeyer a écrit : > > On 2015-04-08 20:56, Frédéric Chapoton wrote: > > ./sage -patchbot --skip-base=True > patchbot.py: error: --skip-base option does not take a value > > With ./sage -patchbot --skip-base, the patchbot starts to run... > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
