pio remote

Helper command for PlatformIO Remote Development.
pio remote [command] takes the same arguments as its locally executing counterpart pio [command].

=> More information.

pio remote agent list
pio remote agent start --name {agent_name} --share {example1@example.com} --share {example2@example.com}
pio remote --agent {agent_name1} --agent {agent_name2} device list
pio remote --agent {agent_name} device monitor
pio remote --agent {agent_name} run
pio remote --agent {agent_name} update
pio remote --agent {agent_name} test
Copyright © 2014—present the tldr-pages team and contributors.
This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).

=> CC-BY

Proxy Information
Original URL
gemini://freeshell.de/tldr/pio-remote.gmi
Status Code
Success (20)
Meta
text/gemini;lang=en-GB
Capsule Response Time
104.350017 milliseconds
Gemini-to-HTML Time
0.516553 milliseconds

This content has been proxied by September (ba2dc).