1:1 Mentions, e.g. @user are easy: we would tag names (which we already use) with (discord) user ids. IRC style mentions require slightly more work. We have to check that there's a valid user on the first index of a space separated array of the message (stripping the colon, of course). We can then apply the first technique.
Scope should be ~4-5 LoC implementation in discord and irc, respectively. May be able to get away with raw <@user_id>, otherwise, closer to 10 LoC.
u20n
commented
1 year ago
1:1 Mentions, e.g.
@userare easy: we would tag names (which we already use) with (discord) user ids. IRC style mentions require slightly more work. We have to check that there's a valid user on the first index of a space separated array of the message (stripping the colon, of course). We can then apply the first technique.Scope should be ~4-5 LoC implementation in discord and irc, respectively. May be able to get away with raw
<@user_id>, otherwise, closer to 10 LoC.