2022-03-30 19:44:48 +02:00
|
|
|
# These are the settings you need to configure.
|
|
|
|
|
# Rename this file to "config.ini"
|
2022-03-31 15:27:14 +02:00
|
|
|
# remove ; to modify further options
|
2022-03-30 19:44:48 +02:00
|
|
|
|
|
|
|
|
[discord]
|
|
|
|
|
token =
|
|
|
|
|
|
|
|
|
|
[mcserver]
|
|
|
|
|
server_address =
|
2022-03-31 15:27:14 +02:00
|
|
|
; server_port = 25565
|
2022-03-30 19:44:48 +02:00
|
|
|
|
|
|
|
|
[perms]
|
|
|
|
|
# These users are admins and have access to all commands
|
|
|
|
|
# enter multiple user ids or roles ids by separating them with space. Can be left empty.
|
|
|
|
|
admin_ids =
|
|
|
|
|
role_ids =
|
|
|
|
|
|
|
|
|
|
# these commands can be executed by non admins
|
2022-03-31 15:27:14 +02:00
|
|
|
; start = true
|
|
|
|
|
; stop = false
|
|
|
|
|
; status = true
|
|
|
|
|
; dev_commands = false
|
