$onLeave

When a user leaves the server, the command is triggered.
$onLeave[channelID] is a callback, which means it's used in the command trigger (not the code). The command is ran when a user leaves the server. You must replace 'channelID' with a valid channel ID.

Example

#1: Make the command trigger $onLeave[channelID].

example1

#2: Input your code/reply text.

🧙‍♂️ You can use functions like $username, $authorAvatar, $authorID, $membersCount, $serverName[$guildID] here.

example2

#3: Now you have a leave message! ✨
example3
Not Working? Check out the Troubleshooting section.

Troubleshooting

Is $onLeave bugged or not working?

#1: You must have atleast version 1.17.9 of the app.

#2: Go to Discord Developer Portal, go to your bot's page, and enable Member Intents.
image
image

#3: Open app and go to bot settings, then enable Member Intents.
image
image
image

Note: Enabled intents in the app should reflect the intents enabled in the Discord Developer Portal.
For example: If you have members intent enabled in the Discord Developer Portal then you should respectively enable them in the app (unless you don't want to use them at all).

#4: Make sure $onLeave[channelID] is inputted in the 'command trigger' field, not the code.
image

#5: Make sure your bot has the VIEW_CHANNEL, EMBED_LINKS, SEND_MESSAGES permission in the channel provided in $onLeave[], and that you inputted a valid channel ID.

Advanced

Per-Server $onLeave

Both free and premium users can use $onLeave[], and all users can put $getServerVar[] within $onLeave[]. However, non-premium users can not use $getServerVar[] outside of callbacks.
If you own a public bot and want to make it so multiple different servers can use $onLeave[] (e.g. set their own leave message channel), follow these steps:

#1: Make a variable named "leave" and the value set to nothing.
image

#2: Make a command for setting the leave channel, then put the following in your code:

$nomention
$onlyAdmin[You need the admin permission to use that!]
$argsCheck[>1;Please mention a channel!]
Leave channel updated!
$setServerVar[leave;$mentionedChannels[1]]

Note: Servers will need to setup the channel they want the leave message to send to (by running a command with the code above).

#3: Now replace $onLeave[channelID] in your leave command trigger, with $onLeave[$getServerVar[leave]] and you're all set!