Docs: PlatformIO Core 5.0: new commands, migration guide, other improvements

This commit is contained in:
Ivan Kravets
2020-08-28 14:08:26 +03:00
parent 1aaa9b6707
commit 80c1774a19
26 changed files with 86 additions and 75 deletions

View File

@@ -25,7 +25,7 @@ from platformio.compat import WINDOWS
from platformio.package.manager.core import get_core_package_dir, inject_contrib_pysite
@click.command("home", short_help="PIO Home")
@click.command("home", short_help="UI to manage PlatformIO")
@click.option("--port", type=int, default=8008, help="HTTP port, default=8008")
@click.option(
"--host",