Skip to content

User Settings

Beyond per-server subscriptions, PingMan keeps a small set of personal settings that follow you across every server you share with it. These let you control how - and whether - you get pinged, and what data PingMan holds about you.

These commands work both inside a server and in a direct message with PingMan, and you don't need any special permissions to use them.

/settings - Your personal preferences

Run /settings on its own to see all your current settings and their values. To change one, use /settings edit and pick a setting from the list.

When editing, PingMan shows the setting with Enable, Disable, and Cancel buttons. Pick one to apply it.

Info

The edit prompt times out after 3 minutes of inactivity, leaving the setting unchanged.

Available settings

Setting Default What it controls
Subscribable enabled Whether server admins are allowed to add you as a trigger or recipient when configuring a subscription.
Pause Notifications disabled When enabled, stops PingMan from pinging you directly in subscription notifications across all servers.

Subscribable

When this is on (the default), an admin setting up a subscription can include you as a specific trigger or recipient. Turn it off to opt out of being added.

Info

Turning Subscribable off doesn't remove you from subscriptions you're already part of - it only blocks new ones. You can always add yourself, regardless of this setting.

Pause Notifications

Enable this to stop being mentioned directly in notifications, everywhere, without bothering any server admin.

Warning

Pausing only suppresses pings that target you specifically. It can't stop notifications that mention @everyone, @here, or a role you happen to have - those aren't tied to you specifically. If those are bothering you, ask the server admin to adjust the subscription, or mute the channel instead.

/wipemydata - Delete your data

/wipemydata removes your personal user record from PingMan's database. PingMan asks you to confirm with a button before anything happens.

What it does:

  • Deletes your stored user data, including all the personal settings above.
  • Using PingMan again afterwards simply regenerates your record with the default settings.

What it doesn't do:

  • It does not remove your Discord ID from voice channel subscriptions an admin has set up. To be taken off a specific subscription, ask that server's admin to update it via /setup-channel.
  • It does not affect notifications you receive through @everyone, @here, or role mentions - those don't reference your user data.
Info

The confirmation prompt times out after 5 minutes. If you don't confirm, nothing is deleted.

Danger

This action takes effect immediately once confirmed. If you only want to stop being pinged rather than erase your data, use Pause Notifications in /settings instead.

Other useful commands

A few more commands are available to everyone, in a server or in DMs:

Command What it does
/help Lists the commands available to you (admin-only commands are hidden if you're not an admin).
/quickstart A short in-Discord primer on how PingMan works.
/about Shows PingMan's status - uptime, ping, and how many subscriptions it's watching globally.
/invite Generates a link to add PingMan to another server.
/support Links to the PingMan support server.
/feedback Sends a message straight to the developer.