Some info in administration.py because its obsolete. for managing the bot try the jishaku manual which is loaded by default and a requirement for the bot. Also some spelling corrections and yeah that's it.

This commit is contained in:
Uwe Pfeifer 2023-10-30 20:42:46 +01:00
parent e9e1ce7864
commit 11ea3c07d1
3 changed files with 13 additions and 10 deletions

18
.gitignore vendored
View file

@ -185,14 +185,14 @@ cython_debug/
# When using Gradle or Maven with auto-import, you should exclude module files, # When using Gradle or Maven with auto-import, you should exclude module files,
# since they will be recreated, and may cause churn. Uncomment if using # since they will be recreated, and may cause churn. Uncomment if using
# auto-import. # auto-import.
# .idea/artifacts .idea/artifacts
# .idea/compiler.xml .idea/compiler.xml
# .idea/jarRepositories.xml .idea/jarRepositories.xml
# .idea/modules.xml .idea/modules.xml
# .idea/*.iml .idea/*.iml
# .idea/modules .idea/modules
# *.iml *.iml
# *.ipr *.ipr
# CMake # CMake
cmake-build-*/ cmake-build-*/
@ -230,7 +230,7 @@ fabric.properties
# Android studio 3.1+ serialized cache file # Android studio 3.1+ serialized cache file
.idea/caches/build_file_checksums.ser .idea/caches/build_file_checksums.ser
# Added myself # Added for pybot-f
botdev/ botdev/
bot.ini bot.ini
pybot-f.log pybot-f.log

View file

@ -6,7 +6,7 @@
## This is the general bot configuration section. ## This is the general bot configuration section.
# #
# - bottoken # - bottoken
# This is the bottoken of your discord bot. # This is the bot-token of your discord bot.
# If you need help on how to set up a Discord app with bot token, # If you need help on how to set up a Discord app with bot token,
# try searching the internet for "How to create a Discord bot token" or # try searching the internet for "How to create a Discord bot token" or
# visit: https://discordpy.readthedocs.io/en/latest/discord.html # visit: https://discordpy.readthedocs.io/en/latest/discord.html

View file

@ -2,6 +2,9 @@
# --- # ---
# #
# This extension is for administrating the bot. # This extension is for administrating the bot.
# As I'm now using using jishaku tools for
# administrating the bot, this extension is
# kinda obsolete.
import discord import discord
from discord import app_commands from discord import app_commands