pio-home: add page (#5406)

add-set-more-info-link.py
marchersimon 2021-03-25 16:09:18 +01:00 committed by GitHub
parent c2027478e6
commit 0f37d0336b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 28 additions and 0 deletions

28
pages/common/pio-home.md Normal file
View File

@ -0,0 +1,28 @@
# pio home
> Launch the PlatformIO Home web server.
> More information: <https://docs.platformio.org/en/latest/core/userguide/cmd_home.html>.
- Open PlatformIO Home in the default web browser:
`pio home`
- Use a specific HTTP port (defaults to 8008):
`pio home --port {{port}}`
- Bind to a specific IP address (defaults to 127.0.0.1):
`pio home --host {{ip_address}}`
- Do not automatically open PlatformIO Home in the default web browser:
`pio home --no-open`
- Automatically shutdown the server on timeout (in seconds) when no clients are connected:
`pio home --shutdown-timeout {{time}}`
- Specify a unique session identifier to keep PlatformIO Home isolated from other instances and protected from 3rd party access:
`pio home --session-id {{id}}`