Mention a user with a Discord bot (JavaScript)

Question

I'm attempting to make a bot on discord.js, but I can't figure out how to mention users. For example:

@user#1234 high fived @user#5678

A command like that. I've tried looking it up but I can't find anything helpful. Anyone on here know how to make that? I'm a beginner so I don't really know what I'm doing

Answer 1

Use <@ID> where ID is the member's ID. Since you're using Discord.js, converting a GuildMember to a string does that automatically.

Example from the docs:

// Logs: Hello from <@123456789012345678>!
console.log(`Hello from ${member}!`);