1
0
Fork 0
mirror of https://github.com/tldr-pages/tldr.git synced 2025-07-24 14:55:25 +02:00

pio-settings: add page (#5522)

This commit is contained in:
marchersimon 2021-03-28 20:41:45 +02:00 committed by GitHub
parent e7cf9014c0
commit 6e0a9d8a81
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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`