Discord role manager

Discordで大量のロールを扱う場合に、ロールのグループを作成することで管理を補助するBOT。

Features

コマンド	機能の説明
/guide <page>	ロールの設定の仕方やコマンドの使い方等のガイドを表示
/log <channel>	ロールの権限変更ログや、エラーを通知するチャンネルを指定する
/role list <parent_role>	ロールのリストを表示
/role members [role]	特定のロールが付与されているメンバーのリストを表示
/group new [name] <flexible>	ロールグループを作成する。 flexibleがtrueの時、flexibleモードでロールグループを作成する。
/group create [name] <flexible>	ロールグループを作成し、既存のロールを追加する 同様にflexibleがtrueの時、flexibleモードでロールグループを作成する。
/group add [name] [parent_role]	ロールグループに子ロールを追加する。
/group remove [child_role] [parent_role]	ロールグループから子ロールを削除する。 グループメンバーから外される訳ではなく、ロール自体が削除される。
/group modify [parent_role] <flexible>	ロールグループの設定を変更する。 flexibleが設定されてない場合はグループメンバーの変更、設定されている場合はそのロールグループのモードを変更する。
[...]は必須、<...>は任意

モード	説明
normal (permission only)	権限のグループ。 親ロールの権限を変更すると、その内容が子ロールにも同期される。 親ロールは権限設定のみに使用し、メンバーには付与されないため見た目がすっきりする。
flexible	グループごとにサーバーの挙動を変えたいときに使うモード。 親ロールの権限は子ロールに同期されないが、子ロールが付与されているメンバーに親ロールを付与し、権限を上書きする。 例えばロールグループ全体をメンションする必要がある場合、親ロールをメンションするだけでいいのでこの設定が望ましい。