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: . + +- 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`