From 383bdc680ee864dc4ea967f9016360016c41c68b Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Thu, 11 Mar 2021 13:37:32 +0100 Subject: [PATCH] pio: add page (#5404) --- pages/common/pio.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 pages/common/pio.md 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`