From 0f37d0336b7ed3bbd45890a48a3d49bc39f97cd9 Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Thu, 25 Mar 2021 16:09:18 +0100 Subject: [PATCH] pio-home: add page (#5406) --- pages/common/pio-home.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 pages/common/pio-home.md diff --git a/pages/common/pio-home.md b/pages/common/pio-home.md new file mode 100644 index 000000000..edbad2ce9 --- /dev/null +++ b/pages/common/pio-home.md @@ -0,0 +1,28 @@ +# pio home + +> Launch the PlatformIO Home web server. +> More information: . + +- 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}}`