Forrest logo
back to context overview

pio-remote

List of commands for pio-remote:

  • pio-remote:tldr:03292 pio-remote: List all active Remote Agents.
    $ pio remote agent list
    try on your machine
    explain this command
  • pio-remote:tldr:6e561 pio-remote: Start a new Remote Agent with a specific name and share it with friends.
    $ pio remote agent start --name ${agent_name} --share ${example1@example-com} --share ${example2@example-com}
    try on your machine
    explain this command
  • pio-remote:tldr:70b98 pio-remote: Run all targets on a specified Agent.
    $ pio remote --agent ${agent_name} run
    try on your machine
    explain this command
  • pio-remote:tldr:8f874 pio-remote: Update installed core packages, development platforms and global libraries on a specific Agent.
    $ pio remote --agent ${agent_name} update
    try on your machine
    explain this command
  • pio-remote:tldr:9a98d pio-remote: Run all tests in all environments on a specific Agent.
    $ pio remote --agent ${agent_name} test
    try on your machine
    explain this command
  • pio-remote:tldr:a42e0 pio-remote: List devices from specified Agents (omit `--agent` to specify all Agents).
    $ pio remote --agent ${agent_name1} --agent ${agent_name2} device list
    try on your machine
    explain this command
  • pio-remote:tldr:ffb95 pio-remote: Connect to the serial port of a remote device.
    $ pio remote --agent ${agent_name} device monitor
    try on your machine
    explain this command
back to context overview