Gérer les rôles d'un membre
La sous-commande /paramètres-rôles modifier permet d’ajouter ou de retirer des rôles à un membre directement, sans passer par les paramètres du serveur Discord.
Cette commande est réservée aux modérateurs du serveur.
Utilisation
Section intitulée « Utilisation »/paramètres-rôles modifier <membre>membre: Le membre dont vous voulez gérer les rôles.
Un menu s’ouvre avec les rôles déjà présents pré-cochés. Cochez un rôle pour l’ajouter, décochez-en un pour le retirer, puis validez.
Rôles qui n’apparaissent pas dans la liste
Section intitulée « Rôles qui n’apparaissent pas dans la liste »Certains rôles n’apparaissent jamais dans ce menu, car ils sont automatiquement créés et gérés par Discord ou une intégration (application, bot, boost du serveur). Il n’est pas possible de les ajouter ou de les retirer manuellement, même via les paramètres natifs du serveur.
”Aucun changement” après une sélection
Section intitulée « ”Aucun changement” après une sélection »Si vous cochez ou décochez un rôle et que Mr. Robøt répond “Aucun changement”, c’est que ce rôle n’a pas pu être touché. Deux raisons possibles :
Permission
Section intitulée « Permission »Permission par défaut : Gérer les rôles.