💾 Archived View for freeshell.de › tldr › pio-home.gmi captured on 2023-04-26 at 15:46:33. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-28)
-=-=-=-=-=-=-
Launch the PlatformIO Home web server.
pio home
pio home --port {port}
pio home --host {ip_address}
pio home --no-open
pio home --shutdown-timeout {time}
pio home --session-id {id}
Copyright © 2014—present the tldr-pages team and contributors.
This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).