forked from sagemath/sage-patchbot
kini/sage-patchbot
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
The patchbot only needs a Sage install and is started with python patchbot.py [options] Type --help for a list of options, though most configuration is done via an optional JSON config file. This is what is invoked by sage --patchbot [...] The server needs a Python with Flask and mongod installed. Installing numpy and PIL will allow multi-colored blurbs. Start a monitoring loop with python run_server.py Currently, the server is set up to run on port 21100, communicating with a mongod instance running on 21002.
About
Sage Patchbot
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Python 99.8%
- Shell 0.2%