Skip to Content
Haven Documentation is the shared home for product guides, plugin setup, and release docs.
PluginsAnti-PingConfiguration

Anti-Ping Configuration

The table below is generated from the local JSON5 config templates found for this plugin. When dashboard-backed configuration is enabled, use the dashboard first because live settings may be stored in MongoDB instead of only reading local JSON5 files.

Config Files

  • Source-backed docs were generated from the local plugin source and JSON5 templates.
  • Plugin entry: main.js
  • Config templates: en-anti-ping-lang.json5, en-anti-ping.json5

Main Fields

FieldTypeDefault / Template ValueNotes
EnabledbooleantrueTurns this part of the plugin on or off.
RuleNamestringAntiPing ProtectionSource-backed config field used by this plugin.
Commands.AntiPing.PermissionLevelarrayadminPermission key, role, or access setting used before the action runs.
Settings.RoleSync.EnabledbooleanfalseTurns this part of the plugin on or off.
Settings.RoleSync.RoleIdsarrayEmpty listDiscord role ID or role-related setting.
Settings.RoleSync.SyncOnStartupbooleantrueDiscord role ID or role-related setting.
Settings.AntiReplyPing.EnabledbooleantrueTurns this part of the plugin on or off.
Settings.AntiReplyPing.DeleteMessagebooleantrueControls text or embed output shown in Discord.
Settings.AntiReplyPing.WarnUserbooleantrueBoolean switch used by the plugin.
Settings.ExemptRolesarrayEmpty listDiscord role ID or role-related setting.
Settings.ExemptUsersarrayEmpty listList of configured values used by the plugin.
Settings.ExemptChannelsarrayEmpty listDiscord channel ID or channel-related setting.
Settings.LogChannelstring1313868105935622145Discord channel ID or channel-related setting.

Notes

  • Keep Discord IDs as strings.
  • After changing local JSON5 files, restart AthenaBot or reload the plugin so the config manager reads the new values.
  • If a dashboard page exists for this plugin, prefer editing there during normal operation.