search

copygirl / cord

IRC and Discord Chatbot Framework
Other
9 stars 3 forks source link

How do I ignore a specific Discord user? #10

Closed deathspawn closed 7 years ago

deathspawn commented 7 years ago

The wiki doesn't state how to ignore a Discord username. I've tried adding discord:username, discord:username#0000, discord:#0000, discord:@username, on both of the ignore settings and still messages get relayed.

Edit: Also tried discord:000 and still relaying.

Edit 2: The user is a bot, not sure if that makes any difference.

copygirl commented 7 years ago

Currently only the numeric user ID works I think (if at all), which you can do in Discord by enabling developer mode, right clicking and choosing "Copy ID", as far as I can see. I will try to fix this to allow for discord:username#discriminator.

edit: Appears to be discord:@<id> currently.

copygirl commented 7 years ago

Took a go at it today and can't really get in the debugging mindset. Maybe I'll try tomorrow.

deathspawn commented 7 years ago

I tried to use discord:@0000 and no go. Even tried using the user ID both with @ and without it and still messages get passed through. For reference, the 0000 is the number that comes after the name when you right click a user and hit profile.

copygirl commented 7 years ago

For reference, the 0000 is the number that comes after the name when you right click a user and hit profile.

That is not the numeric ID I was talking about, that's just the discriminator. For example, cord's ID is 108188740794474496. But I tried ignoring my Discord user to no avail.

copygirl commented 7 years ago

Let me know if this fixes the problem. Testing it on my end, it seems like it did the job,