From 6e0a9d8a81c5bc251dc5bdbea0edd433ded1699b Mon Sep 17 00:00:00 2001
From: marchersimon <50295997+marchersimon@users.noreply.github.com>
Date: Sun, 28 Mar 2021 20:41:45 +0200
Subject: [PATCH] pio-settings: add page (#5522)

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

diff --git a/pages/common/pio-settings.md b/pages/common/pio-settings.md
new file mode 100644
index 000000000..aafd74463
--- /dev/null
+++ b/pages/common/pio-settings.md
@@ -0,0 +1,20 @@
+# pio settings
+
+> View and modify PlatformIO settings.
+> More information: <https://docs.platformio.org/en/latest/core/userguide/cmd_settings.html>.
+
+- Display the names, values and descriptions of all PlatformIO settings:
+
+`pio settings get`
+
+- Display the name, value and description of a specific PlatformIO setting:
+
+`pio settings get {{setting}}`
+
+- Set a specific setting value:
+
+`pio settings set {{setting}} {{value}}`
+
+- Reset the values of all modifed settings to their factory defaults:
+
+`pio settings reset`