diff --git a/pages/common/pio.md b/pages/common/pio.md new file mode 100644 index 0000000000..91dd57392d --- /dev/null +++ b/pages/common/pio.md @@ -0,0 +1,16 @@ +# pio + +> Development environment for embedded boards. +> More information: . + +- Show help and list subcommands: + +`pio --help` + +- Print the version number and exit: + +`pio --version` + +- Show help for a specific subcommand: + +`pio {{subcommand}} --help`