CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2026-05-27 09:06:43 -04:00
Code Issues Packages Projects Releases Wiki Activity

Add redbot-update command for updating Red (#6734)

Browse Source
This commit is contained in:
Jakub Kuczys
2026-05-14 00:14:43 +02:00
committed by GitHub
parent 899f24ceca
commit 7e2a74b276
22 changed files with 3016 additions and 76 deletions
Download Patch File Download Diff File Expand all files Collapse all files
redbot/_update/cmd/arg_names.py
+6
View File
@@ -0,0 +1,6 @@
from typing import Final
DEBUG: Final = "--debug"
RED_VERSION: Final = "--red-version"
PYTHON_VERSION: Final = "--python-version"
CHECK_OTHER_PYTHON_INSTALLS: Final = "--check-other-python-installs"