1
0
Fork 0
mirror of https://github.com/tldr-pages/tldr.git synced 2025-03-28 21:16:20 +01:00

pio-ci: add page (#6186)

This commit is contained in:
marchersimon 2021-07-10 23:16:22 +02:00 committed by GitHub
parent 772fd67d8d
commit 73ee6f771b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

29
pages/common/pio-ci.md Normal file
View file

@ -0,0 +1,29 @@
# pio ci
> Build PlatformIO projects with an arbitrary source code structure.
> This will create a new temporary project which the source code will be copied into.
> More information: <https://docs.platformio.org/en/latest/core/userguide/cmd_ci.html>.
- Build a PlatformIO project in the default system temporary directory and delete it afterwards:
`pio ci {{path/to/project}}`
- Build a PlatformIO project and specify specific libraries:
`pio ci --lib {{path/to/library_directory}} {{path/to/project}}`
- Build a PlatformIO project and specify a specific board (`pio boards` lists all of them):
`pio ci --board {{board}} {{path/to/project}}`
- Build a PlatformIO project in a specific directory:
`pio ci --build-dir {{path/to/build_directory}} {{path/to/project}}`
- Build a PlatformIO project and don't delete the build directory:
`pio ci --keep-build-dir {{path/to/project}}`
- Build a PlatformIO project using a specific configuration file:
`pio ci --project-conf {{path/to/platformio.ini}}`