-
-
Notifications
You must be signed in to change notification settings - Fork 2
Create channel_manager extension for channel management #23
Copy link
Copy link
Open
Labels
Difficulty.MediumThis will be moderately difficult to do for most contributorsThis will be moderately difficult to do for most contributorsPriority.MediumThis is interesting and worth tackling when the chance arisesThis is interesting and worth tackling when the chance arises
Metadata
Metadata
Assignees
Labels
Difficulty.MediumThis will be moderately difficult to do for most contributorsThis will be moderately difficult to do for most contributorsPriority.MediumThis is interesting and worth tackling when the chance arisesThis is interesting and worth tackling when the chance arises
Type
Fields
Give feedbackNo fields configured for issues without a type.
Projects
StatusShow more project fields
In Progress
Target Issue(s)
No response
Overview
I propose the creation of a channel management bot extension called
channel_manager, to ease bulk channel management.Synopsis
There are cases where bot commands for managing Discord server channels in bulk would come in handy, either for efficiency or to bypass Discord client bugs.
Technical Information
This would solely consist of Discord API code. It's nothing fancy and doesn't need db access.
New Bot Commands
channel clone: Addchannel_managerextension with initialchannel clonecommand #26Clones channels of all kinds, including entire channel categories at once.
channel permissions [get]: Retrieves the permissions of a specified channel visually and as JSON.channel permissions set: Sets the permissions of the specified channel (category) from a JSON representation, either partially or as an overwrite.channel move: Moves a channel (category) to the speficied category and/or position.channel delete: Deletes the specified channel or channel category.Changed Bot Commands
No response