💾 Archived View for freeshell.de › tldr › pio-settings.gmi captured on 2024-07-09 at 01:36:42. 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.

pio settings get
pio settings get {setting}
pio settings set {setting} {value}
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