Re: [sage-devel] troubles installing a patchbot

2015-09-15 Thread Frédéric Chapoton
Yes, this is indeed using the system python. I will add a word about that in the wiki. Frédéric Le mardi 15 septembre 2015 20:12:35 UTC+2, Daniel Krenn a écrit : > > Ok, seems to need a system wide installation...works now > > On 2015-09-15 20:05, Daniel Krenn wrote: > > I get > > > > ./sage

Re: [sage-devel] troubles installing a patchbot

2015-09-15 Thread Daniel Krenn
Ok, seems to need a system wide installation...works now On 2015-09-15 20:05, Daniel Krenn wrote: I get ./sage -patchbot Traceback (most recent call last): File "/local/dakrenn/sage/patchbot/local/bin/patchbot/patchbot.py", line 45, in from trac import scrape, pull_from_trac File "/

[sage-devel] troubles installing a patchbot

2015-09-15 Thread Daniel Krenn
I get ./sage -patchbot Traceback (most recent call last): File "/local/dakrenn/sage/patchbot/local/bin/patchbot/patchbot.py", line 45, in from trac import scrape, pull_from_trac File "/local/dakrenn/sage/patchbot/local/bin/patchbot/trac.py", line 15, in from util import (do_or_d