Intersection and Subtraction of Roles in Mentions
This has been requested by user Alexandre earlier but it might get more attention with an English title.
It should be possible to @ mention users who have not just any but all of a specified set of roles (intersection). For example, users with both a "Support" role and an independent role for some "Topic" they might be knowledgeable on, could be tagged as @Support+Topic or @Support^@Topic
By extension, mentioning users who have one role but not another, subtracting user groups from @everyone or excluding users from role mentions might be useful too, i.e. @Role1-Role2 or @Role1\@Role2 (backslash as used in set theory).
To use this syntax, after typing out a role in chat, typing whatever combining operator is used could open another suggestion box (with or without the need to type another '@')
-
I like that idea.
I have a good Example for that.
Example:
@mod^@coder I need help with the code from your program.3 -
I would love that option and know at least a dozen people who also want it.
2 -
That's great, I want it on my server.
2 -
Definitely in support. In RPG-related servers, you might have multiple kingdoms for example; you only want to @ the people with the elite role in a post for one kingdom, but you also don't want to ping EVERYONE who has the elite role, regardless of their kingdom.
I know that there is a solution to circumvent this issue by just making specific roles for specific intersections of individuals, but maintaining a large number of roles can be messy (and at a certain point it is easier to roll with a new update than go back and make all the modifications to avoid this problem, if you haven't already). I don't know how Discord's backend works so I'm unsure if this is possible, but this would be a helpful addition to a LOT of people I know and servers I'm in, for a lot of reasons.
1 -
I'd like to see this as well
1 -
I made a bot that allows intersection of 2 roles
0 -
I disagree with the solution because as you said maintenance is going to take a lot of time manage adding the role per user, I have already made a bot that adds the feature through commands
0 -
Stone i disagree with the solution as well, i just figured i'd mention it before anyone says that yes, there is technically a workaround - that i already know it, it's just a pain.
a bot is nice but you can't install a bot on another person's server. not all servers use bots. this would have a benefit for more than just the admins of a server but the users themselves as well, though a bot that allows this to happen is very useful indeed. i would like to see it as an actual addition to Discord eventually.
0 -
Stone thanks mate! I really need this bot. But can't find out what is the proper syntax to use it?
0 -
Remurr Could you send me a msg on discord Stone#9749, to find out what issue your having with the syntax
0 -
In case any one wants the documentation and commands I've added the bot here https://top.gg/bot/761211334812631090
0 -
Surprised this isn't getting more attention. Imagine being able to @european+@game+@here to see if anyone online who is from Europe wants to play with you!
0
Please sign in to leave a comment.
Comments
12 comments