Difference between revisions of "Discord bot"
Jump to navigation
Jump to search
m |
m |
||
| (One intermediate revision by the same user not shown) | |||
| Line 2: | Line 2: | ||
Code is available to faculty in our [https://code.cs.earlham.edu GitLab instance]. | Code is available to faculty in our [https://code.cs.earlham.edu GitLab instance]. | ||
| + | |||
| + | == How the bot runs == | ||
The bot is hosted on the CS web server (same place as this wiki). | The bot is hosted on the CS web server (same place as this wiki). | ||
| Line 7: | Line 9: | ||
Documents are available on the [https://gitlab.com/unh-discord/ops/-/wikis/home UNH project wiki], though we may begin building a local knowledge base separate from it. | Documents are available on the [https://gitlab.com/unh-discord/ops/-/wikis/home UNH project wiki], though we may begin building a local knowledge base separate from it. | ||
| − | The bot starts through systemd | + | The bot starts through systemd at boot and runs in the background. This means that, for example, you can get the status by running <code>service discord_ops status</code> . |
| + | |||
| + | == Adding a class == | ||
| + | |||
| + | At the start of a new term, people with permissions to operate the bot and access its code may add a class. A contrib script has been added to make this possible. | ||
| + | |||
| + | <pre> | ||
| + | bash /var/www/discord-ops/contrib/add-class csABC # where csABC is your class | ||
| + | </pre> | ||
| + | |||
| + | The script prompts for a confirmation. | ||
Latest revision as of 08:55, 26 March 2021
To help manage classes, Earlham CS runs a Discord bot originally developed by the University of New Hampshire.
Code is available to faculty in our GitLab instance.
How the bot runs
The bot is hosted on the CS web server (same place as this wiki).
Documents are available on the UNH project wiki, though we may begin building a local knowledge base separate from it.
The bot starts through systemd at boot and runs in the background. This means that, for example, you can get the status by running service discord_ops status .
Adding a class
At the start of a new term, people with permissions to operate the bot and access its code may add a class. A contrib script has been added to make this possible.
bash /var/www/discord-ops/contrib/add-class csABC # where csABC is your class
The script prompts for a confirmation.
