Red-DiscordBot
Red-DiscordBot copied to clipboard
Mutes add timeouts
Description of the changes
Add timeouts support to the Mutes cog. This changes the default server mute behavior to utilize timeouts while maintaining role mutes if they have been previously setup. This adds a new [p]timeout command that exclusively uses discords built in timeout feature. This also allows the [p]activemutes command to list the currently muted and timed out users in the server. This also adds some models that make it easier for managing typed responses for internal muting methods.
Have the changes in this PR been tested?
Yes
Could we make it so that you can choose wether to use timeouts or mutes by using like [p]muteset usetimeouts, and having the command stay [p]mute, instead of having it be [p]timeout?
Could we make it so that you can choose wether to use timeouts or mutes by using like
[p]muteset usetimeouts, and having the command stay[p]mute, instead of having it be[p]timeout?
I think we should have a [p]timeout command, but a setting could redirect [p]mute to [p]timeout if server's admins prefer this option to a real role.
Yeah that's a good idea!
Could we make it so that you can choose wether to use timeouts or mutes by using like
[p]muteset usetimeouts, and having the command stay[p]mute, instead of having it be[p]timeout?I think we should have a
[p]timeoutcommand, but a setting could redirect[p]muteto[p]timeoutif server's admins prefer this option to a real role.
@BlizzardTheWolf @AAA3A-AAA3A, the PR currently replaces the backup behavior for [p]mute when a mute role is not configured to use timeouts, rather than channel overrides. The [p]timeout command also exists for explicitly timing out a user, regardless of whether or not [p]mute is configured to use a role.