💾 Archived View for freeshell.de › tldr › pio-remote.gmi captured on 2022-06-11 at 23:36:04. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-28)
-=-=-=-=-=-=-
Helper command for PlatformIO Remote Development.
`pio remote [command]` takes the same arguments as its locally executing counterpart `pio [command]`.
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).