pio: add page (#5404)

2021-03-11 13:37:32 +01:00
parent 1c3144dba6
commit 383bdc680e
1 changed files with 16 additions and 0 deletions
--- a/pages/common/pio.md
+++ b/pages/common/pio.md
@@ -0,0 +1,16 @@
+# pio
+
+> Development environment for embedded boards.
+> More information: <https://docs.platformio.org/en/latest/core/userguide/>.
+
+- Show help and list subcommands:
+
+`pio --help`
+
+- Print the version number and exit:
+
+`pio --version`
+
+- Show help for a specific subcommand:
+
+`pio {{subcommand}} --help`