Ledra Docs

Permission & settings commands

/permissions and /settings — access control and server configuration.


/permissions set#

Give a role a staff level. Administrator, with one restriction.

Option Required Description
role yes The role to promote
level yes moderator or admin
/permissions set role:@Moderator level:moderator
/permissions set role:@Admin level:admin

Only the server owner can grant admin. Admins can create moderators, but not other admins — otherwise any admin could quietly duplicate their access.

@everyone and integration roles are refused.


/permissions remove#

Option Required Description
role yes The role to demote

Removing an admin-level role also requires the server owner.

Members may still have access through native Discord permissions.


/permissions list#

Moderator. Configured moderator and admin roles, plus a reminder of which native Discord permissions grant each level anyway.


/permissions check#

Moderator. A member's resolved level and how they got it.

Option Required Description
member no Defaults to yourself
/permissions check member:@Someone

The fastest way to answer "why can/can't they use this?"


/permissions reset#

Server owner only. Removes every configured staff role.

Asks for confirmation. Afterwards, staff access comes purely from native Discord permissions.


/settings view#

Moderator. The whole configuration in one embed: AutoMod, log channels, greetings, join roles, staff role count, DM behaviour and time zone. The footer lists unconfigured log categories.


/settings dm#

Administrator. Should punished members get a DM?

Option Required Description
enabled yes Send a DM on warn, timeout, kick and ban?

The action always happens regardless of whether the DM arrives.


/settings timezone#

Administrator. The time zone for scheduled announcements.

Option Required Description
name yes IANA time zone, e.g. Europe/Berlin
/settings timezone name:Europe/Berlin

The option autocompletes as you type. The reply shows the current local time there, so a typo is immediately obvious.

Affects only announcements with a fixed posting time. Everything else uses Discord timestamps, which each member already sees in their own local time. Default is UTC.

Permissions explained · Server settings

Ledra documentation. Everything here describes the hosted bot.