From c74457a77aff2ad274898f7d5b28633f7121f5b2 Mon Sep 17 00:00:00 2001 From: Specoolazius Date: Wed, 30 Mar 2022 19:44:48 +0200 Subject: [PATCH] config settings --- bot/config/config-example.ini | 22 ++++++++++++++++++++++ bot/config/settings.ini | 8 ++++++++ 2 files changed, 30 insertions(+) create mode 100644 bot/config/config-example.ini create mode 100644 bot/config/settings.ini diff --git a/bot/config/config-example.ini b/bot/config/config-example.ini new file mode 100644 index 0000000..24a6796 --- /dev/null +++ b/bot/config/config-example.ini @@ -0,0 +1,22 @@ +# These are the settings you need to configure. +# Rename this file to "config.ini" + +[discord] +token = + +[mcserver] +# default port is 25565 +server_address = +server_port = 25565 + +[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 +start = true +stop = false +status = true +dev_commands = false diff --git a/bot/config/settings.ini b/bot/config/settings.ini new file mode 100644 index 0000000..6cac2d4 --- /dev/null +++ b/bot/config/settings.ini @@ -0,0 +1,8 @@ +# You can change setting in here if you wish but it works +# fine as it is configured by default + +[logging] +# folders are created if not existent +# logging levels can be: 10 (Debug), 20 (Info), 30 (Warning), 40 (Critical) +path = logs/ +level = 10