# Other settings

1. **Chaning the port number for papertlab GUI**

By default, the papertlab GUI runs on port 5000. However, you can easily change this to a different port if needed. This can be useful if port 5000 is already in use on your system or if you need to run multiple instances of papertlab.

### Using the --port Command-line Option

To change the port number, use the `--port` option when starting papertlab. Here's the syntax:

```
papertlab --port=8000
```

2. **Checking the papertlab Version You can easily check which version of papertlab you're currently using. This is useful when reporting issues, following tutorials, or verifying your installation.**

Using the --version Command-line Option To display the version information, use the `--version` option when running papertlab. Here's the syntax: 

```
papertlab --version
```

This command will output the current version of papertlab and exit immediately. For example: papertlab version 1.0.8


---

# 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://docs.papert.in/aruguments/other-settings.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.