#(joe) checking if a Discord user exists

40 messages · Page 1 of 1 (latest)

little wind
#

Is there a tag/check for this?

keen quiverBOT
#

(joe) checking if a Discord user exists

keen quiverBOT
#

Hi I'm AutoThreadBot! Don't mind me, I'll just be adding the helper team to this thread so they can see it. A human will get to you soon.
You can block this bot if you don't want to see these messages, I won't mind.
<@&525394568410038282>

idle jolt
#

!t discorduser

frosty sentinelBOT
# idle jolt !t discorduser
Cannot Specify Searched Tag

Multiple possible tags: <DiscordUserTag.id>, <DiscordUserTag.name>, <DiscordUserTag.discriminator>, <DiscordUserTag.nickname[<group>]>, <DiscordUserTag.status[<group>]>, <DiscordUserTag.is_banned[<group>]>, <DiscordUserTag.is_bot>, <DiscordUserTag.avatar_url>, <DiscordUserTag.roles[<group>]>, <DiscordUserTag.is_timed_out[<group>]>, <DiscordUserTag.mention>, <DiscordUserTag.activity_url[<group>]>, <DiscordUserTag.permissions[<group>]>, <DiscordUserTag.activity_type[<group>]>, <DiscordUserTag.activity_name[<group>]>.

idle jolt
#

Hmmm context is likely relevant here

little wind
#

Making a command that allows you to remove people from and add people to a private thread, need to check if the user being mentioned exists so that no errors are thrown

#

so /remove hyper will reply with a “user doesn’t exist” while /remove @little wind will go through and remove the person from the thread

idle jolt
#

Slash commands already handle that for you no?

#

You can't send it when you enter nonsense

little wind
#

is there a type for that in the options map?

#

user?

idle jolt
#

Yeah

#

!c discordcommand

frosty sentinelBOT
# idle jolt !c discordcommand
Required Plugins or Platforms

dDiscordBot

Group

external

Syntax

discordcommand (id:<bot>) [create/delete] (group:<group>) (name:<name>) (type:{slash}/user/message) (description:<description>) (options:<options>)

Short Description

Manages Discord application commands.

Description

Manages Discord application commands.

You can create a new command, edit the permissions of an existing command, or delete an existing command.

To create (or delete) a command in a specific Discord guild, use the "group" argument. If not present, a global command will be created. NOTE: Global commands take up to an hour to register.
When creating, both a name and description are required.

Commands can be slash commands - activated via typing "/", message commands - activated by right-clicking...

idle jolt
#

type: user

little wind
#

wow

#

my bad lol

#

regardless could a check like that be added? may be good to have in some specific scenarios

barren forum
#

You can make that check, usually just try getting the user using whatever format / tags you'd like and have a fallback

#
- define user <get_user.if_null[null]>
- if <[user]> == null:
  - narrate "Bad input, pls give user"
  - stop
- Use the user
idle jolt
#

Last time I checked discord_users are never null

#

Which is handy, when you want to read flag data from them, even if they left the discord

#

But all other tags, will just error

little wind
#

idk I feel like it’d be pretty useful but if not then that’s fine SMILERS

topaz bane
#

.name.exists to check if the user exists, .roles[guild].exists to check if the user is in a guild

#

not ideal tags lol but works

#

wait oh god no roles will just explode

#

fine ill go make tags :(

lucid boltBOT
#
Changed to Feature

Thread is now a Feature thread. This indicates a request for a new feature to the plugin, that both (A) does not already exist and (B) reasonably can be added. If you are unsure whether this applies, use </helpthread:1028674284870180883> to change back to a normal help thread.

little wind
#

thank you very much monkeyman

topaz bane
#

added ref #changelog