From c8314bf71598fc9f596e05706d029fb73c8ba5e8 Mon Sep 17 00:00:00 2001
From: marchersimon <50295997+marchersimon@users.noreply.github.com>
Date: Sun, 11 Apr 2021 18:58:00 +0200
Subject: [PATCH] pio-platform: add page (#5727)

---
 pages/common/pio-platform.md | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 pages/common/pio-platform.md

diff --git a/pages/common/pio-platform.md b/pages/common/pio-platform.md
new file mode 100644
index 0000000000..158415b4f7
--- /dev/null
+++ b/pages/common/pio-platform.md
@@ -0,0 +1,32 @@
+# pio platform
+
+> Manage PlatformIO development platforms.
+> More information: <https://docs.platformio.org/en/latest/core/userguide/platforms/>.
+
+- List all installed development platforms:
+
+`pio platform list`
+
+- Search for existing development platforms:
+
+`pio platform search {{platform}}`
+
+- Show details about a development platform:
+
+`pio platform show {{platform}}`
+
+- Install a development platform:
+
+`pio platform install {{platform}}`
+
+- Update installed development platforms:
+
+`pio platfom update`
+
+- Uninstall a development platform:
+
+`pio platform uninstall {{platform}}`
+
+- List all supported frameworks:
+
+`pio platform frameworks`