Server Tools
This content is for v1.0.0. Switch to the latest version for up-to-date documentation.
The server_tools plugin provides server-side utilities including wiki linking and login sound management. Login sounds are audio clips played when a user connects to the server.
Commands
Section titled “Commands”| Command | Description | Roles | Aliases |
|---|---|---|---|
wiki |
Display a link to the wiki | user | — |
setloginsound <user> <clip> |
Set a user’s login sound | moderator | — |
getloginsound <user> |
Get a user’s login sound | moderator | — |
clearloginsound <user> |
Clear a user’s login sound | moderator | — |
setdefaultloginsound <clip> |
Set the default login sound | moderator | — |
toggleloginsounds |
Toggle login sounds on/off | admin | — |
- Login sounds: The
<clip>argument refers to a sound clip filename stored in the bot’s sound library. When a user connects, their assigned clip (or the default clip, if none is set) is played. - Toggle:
toggleloginsoundsglobally enables or disables all login sounds without clearing individual assignments. - Roles:
moderatorcommands require themoderatorrole or higher.admincommands require theadminrole.wikiis available to all non-blacklisted users.