15 lines
428 B
JSON
15 lines
428 B
JSON
{
|
|
"owner": "Discord ID of the bot owner(s)",
|
|
"token": "Bot token",
|
|
"languages": [
|
|
"Language whitelist, e.g.",
|
|
"haskell",
|
|
"python",
|
|
"The language names here are different from the user-facing ones.",
|
|
"Check the folders in docker/ for the language names.",
|
|
"Change to null to enable all languages."
|
|
],
|
|
"memory": "128m",
|
|
"cpus": "0.5",
|
|
"timeout": 10000
|
|
}
|