|
Size: 1583
Comment: + more
|
Size: 705
Comment:
|
| 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, that will report its results to the trac server. 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. | == Configuration == |
| Line 19: | Line 15: |
| '''Warning''': this works for a mercurial setting, not tested for the new git setting. * 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"
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.