Red 3.5.0 - Changelog (#6106)

Co-authored-by: Jakub Kuczys <me@jacken.men>
Co-authored-by: aikaterna <20862007+aikaterna@users.noreply.github.com>
This commit is contained in:
Flame442
2023-05-03 20:53:02 -04:00
committed by GitHub
parent 525c3885cd
commit b3fd90ae4c
5 changed files with 358 additions and 27 deletions

View File

@@ -236,6 +236,7 @@ class RawUserIdConverter(dpy_commands.Converter):
# which is *not* for type checking for the actual implementation
# and ensure the lies stay correct for how the object should look as a typehint
#: This converts a user provided string into a positive (>=0) integer.
positive_int = dpy_commands.Range[int, 0, None]

View File

@@ -3801,7 +3801,9 @@ class Core(commands.commands._RuleDropper, commands.Cog, CoreLogic):
@_set.command(name="showsettings")
async def _set_showsettings(self, ctx: commands.Context, server: discord.Guild = None):
"""
Show the current settings for [botname]. Accepts optional guild parameter if its prefix must be recovered.
Show the current settings for [botname].
Accepts optional server parameter to allow prefix recovery.
"""
if server is None:
server = ctx.guild
@@ -4068,6 +4070,7 @@ class Core(commands.commands._RuleDropper, commands.Cog, CoreLogic):
- `[p]set serverprefix "Red - Discord Bot" ? - Sets the prefix for a specific server. Quotes are needed to use spaces in the server name.
**Arguments:**
- `[server]` - The server to set the prefix for. Defaults to current server.
- `[prefixes...]` - The prefixes the bot will respond to on this server. Leave blank to clear server prefixes.
"""
if server is None: