Differences between revisions 4 and 9 (spanning 5 versions)
⇤ ← Revision 4 as of 2014-03-06 08:22:38 →
Size: 705
Editor: robertwb
Comment:
← Revision 9 as of 2015-04-22 11:49:08 → ⇥
Size: 1548
Editor: chapoton
Comment: more detqil on config json file
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
{{{
┌─┬──────┐
│░│ ⊙ ʘ │ SageMath patchbot
│░│ │
│░│ ──── │
╘═╧══════╛
}}}
Line 5: Line 12:
 * Install the patchbot using "sage -i patchbot"  * Install the patchbot using '''sage -i patchbot'''
Line 7: Line 14:
 * Run the patchbot using "sage -patchbot"  * Run the patchbot using '''sage -patchbot'''
Line 11: Line 18:
You can run a specific ticket by passing --ticket=N. Several other options are available, see "sage --patchbot --help" You can run a specific ticket by using '''sage -patchbot --ticket=N''' where N is a ticket number such as 12345.

Several other options are available, see '''sage -patchbot --help'''

(2015-04) The latest available version can be installed using '''sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.3.spkg'''
Line 15: Line 26:
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. You can use a specific configuration file using '''sage -patchbot --config=config_file.json'''

The base patchbot configuration can be found at https://github.com/robertwb/sage-patchbot/blob/master/src/patchbot.py in the ''get_config'' function.
All of these settings can be overridden by passing a config file which is treated as a json overlay on these defaults.

For example, to let the tickets of user "niceguy" be given some priority, use:

    {"author": {"niceguy": 200}}

To avoid the use of ccache, use:

    {"use_ccache": True}

A more complex example of config file could be:

    {"author": {"niceguy": 200},
    "use_ccache": False,
    "safe_only": True,
    "skip_base": True}		 

┌─┬──────┐
│░│ ⊙  ʘ │        SageMath patchbot
│░│      │
│░│ ──── │
╘═╧══════╛

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 using sage -patchbot --ticket=N where N is a ticket number such as 12345.

Several other options are available, see sage -patchbot --help

(2015-04) The latest available version can be installed using sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.3.spkg

Configuration

You can use a specific configuration file using sage -patchbot --config=config_file.json

The base patchbot configuration can be found at https://github.com/robertwb/sage-patchbot/blob/master/src/patchbot.py in the get_config function. All of these settings can be overridden by passing a config file which is treated as a json overlay on these defaults.

For example, to let the tickets of user "niceguy" be given some priority, use:

  • {"author": {"niceguy": 200}}

To avoid the use of ccache, use:

  • {"use_ccache": True}

A more complex example of config file could be:

  • {"author": {"niceguy": 200}, "use_ccache": False, "safe_only": True, "skip_base": True}