1534
Comment: details
|
816
link to latest
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
There are (at least) two ways to run your own private patchbot. In any case, it is better to have disk space available and a powerful enough machine. == Run on all tickets == |
== Running the patchbot == |
Line 15: | Line 11: |
== Run on chosen tickets == | You can run a specific ticket by passing --ticket=N. Several other options are available, see "sage --patchbot --help" |
Line 17: | Line 13: |
Here is a proposal on how to use the patchbot only on tickets you want to work on. | (2015-04) latest available version is here : sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.3.spkg |
Line 19: | Line 15: |
'''Warning''': this works for a mercurial setting, not tested for the new git setting. | == Configuration == |
Line 21: | Line 17: |
* install the latest sage development release (download from http://www.sagemath.org/download-latest.html and make) * install the latest patchbot (clone from http://github.com/robertwb/sage-patchbot) * in a terminal, inside your_sage_home_dir, "./sage -clone 0" * in a terminal: "cd sage-patchbot/src" then "ipython" * in ipython, "from patchbot import Patchbot", then "P = Patchbot('your_sage_home_dir',"http://patchbot.sagemath.org/",None,plugin_only=True)" or "P = Patchbot('your_sage_home_dir',"http://patchbot.sagemath.org/",None)" The first one will only run the plugins (much faster), the second one will run all the tests (much slower). * Then choose your favorite ticket number N and "P.test_a_ticket(N)" It is important that sage is in its initial state when running the patchbot (sage-main branch with no patch applied). |
The base patchbot configuration can be found at https://github.com/robertwb/sage-patchbot/blob/master/src/patchbot.py#L232 . All of these settings can be overridden by passing a --config file which is treated as a json overlay on these defaults. |
Running the patchbot
You can let the patchbot choose the tickets it will run on.
- Install the patchbot using "sage -i patchbot"
- Run the patchbot using "sage -patchbot"
I will run forever, as long as it finds a ticket to work on. Tickets are only considered if their authors are trusted.
You can run a specific ticket by passing --ticket=N. Several other options are available, see "sage --patchbot --help"
(2015-04) latest available version is here : sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.3.spkg
Configuration
The base patchbot configuration can be found at https://github.com/robertwb/sage-patchbot/blob/master/src/patchbot.py#L232 . All of these settings can be overridden by passing a --config file which is treated as a json overlay on these defaults.