mirror of
https://github.com/tldr-pages/tldr.git
synced 2024-09-20 08:17:53 +03:00
pio-platform: add page (#5727)
This commit is contained in:
parent
4503438355
commit
c8314bf715
32
pages/common/pio-platform.md
Normal file
32
pages/common/pio-platform.md
Normal file
@ -0,0 +1,32 @@
|
||||
# pio platform
|
||||
|
||||
> Manage PlatformIO development platforms.
|
||||
> More information: <https://docs.platformio.org/en/latest/core/userguide/platforms/>.
|
||||
|
||||
- List all installed development platforms:
|
||||
|
||||
`pio platform list`
|
||||
|
||||
- Search for existing development platforms:
|
||||
|
||||
`pio platform search {{platform}}`
|
||||
|
||||
- Show details about a development platform:
|
||||
|
||||
`pio platform show {{platform}}`
|
||||
|
||||
- Install a development platform:
|
||||
|
||||
`pio platform install {{platform}}`
|
||||
|
||||
- Update installed development platforms:
|
||||
|
||||
`pio platfom update`
|
||||
|
||||
- Uninstall a development platform:
|
||||
|
||||
`pio platform uninstall {{platform}}`
|
||||
|
||||
- List all supported frameworks:
|
||||
|
||||
`pio platform frameworks`
|
Loading…
Reference in New Issue
Block a user