platformio/platformio-core
1
0
Fork 1
mirror of https://github.com/platformio/platformio-core.git synced 2025-07-30 01:57:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rename --develop to --dev option for upgrade command

Browse Source
This commit is contained in:
Ivan Kravets
2017-12-13 13:42:16 +02:00
parent 02a263fdce
commit 3d0f0659ae
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs

Submodule docs updated: a9bc3dc0ea...5e303c13b7

8
platformio/commands/upgrade.py
View File

@ -24,12 +24,12 @@ from platformio.managers.core import update_core_packages
@click.command( @click.command(
"upgrade", short_help="Upgrade PlatformIO to the latest version") "upgrade", short_help="Upgrade PlatformIO to the latest version")
@click.option("--develop", is_flag=True, help="Force development branch") @click.option("--dev", is_flag=True, help="Use development branch")
def cli(develop): def cli(dev):
# Update PlatformIO's Core packages # Update PlatformIO's Core packages
update_core_packages(silent=True) update_core_packages(silent=True)
if not develop and __version__ == get_latest_version(): if not dev and __version__ == get_latest_version():
return click.secho( return click.secho(
"You're up-to-date!\nPlatformIO %s is currently the " "You're up-to-date!\nPlatformIO %s is currently the "
"newest version available." % __version__, "newest version available." % __version__,
@ -40,7 +40,7 @@ def cli(develop):
# kill all PIO Home servers, they block `pioplus` binary # kill all PIO Home servers, they block `pioplus` binary
shutdown_servers() shutdown_servers()
to_develop = develop or not all( to_develop = dev or not all(
[c.isdigit() for c in __version__ if c != "."]) [c.isdigit() for c in __version__ if c != "."])
cmds = ([ cmds = ([
"pip", "install", "--upgrade", "pip", "install", "--upgrade",