# Windows/MacOS/Linux

## Developer Mode

Before you can copy an ID, you must turn on `Developer Mode` in your Discord settings.

First, click the gear icon to the right of your profile in the bottom left corner of the Discord window.

Then, navigate to the `Advanced` tab and turn on the switch next to `Developer Mode`.

## Copying an ID

Now that you've turned on `Developer Mode`, you can copy the ID of a:

* Message
* Channel
* Category
* Server
* User
* Role

by right-clicking on it and selecting the `Copy ID` option from the menu.

{% hint style="warning" %}
Right-clicking a role tag in a message will bring up the menu for the message, not the role. To copy the ID of a role, click the name or profile picture of a user with the role and right-click the role in their profile. Alternatively, navigate to the `Roles` tab in the server settings and right-click the role (`Manage Roles` permission is required for this method).
{% endhint %}

### Copy message IDs

{% embed url="<https://youtu.be/q3L4Q3oUBxk>" %}

### Copy ServerIDs

{% embed url="<https://youtu.be/wEIAf1-9zDA>" %}


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://documentation.lynnux.xyz/other/findingids/windows-macos-linux.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.