💾 Archived View for freeshell.de › tldr › pio-settings.gmi captured on 2023-11-14 at 10:15:17. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2022-04-28)

-=-=-=-=-=-=-

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 modified settings to their factory defaults:

pio settings reset

Copyright © 2014—present the tldr-pages team and contributors.

This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).

CC-BY