From 3d0f0659ae21df1a94eb49ce1e6c5bb27b4686f6 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Wed, 13 Dec 2017 13:42:16 +0200 Subject: [PATCH] Rename `--develop` to `--dev` option for upgrade command --- docs | 2 +- platformio/commands/upgrade.py | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs b/docs index a9bc3dc0..5e303c13 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit a9bc3dc0ea0766675aaeed1aaec9527012372902 +Subproject commit 5e303c13b78db4f1a4008f3901a2d503f7db5354 diff --git a/platformio/commands/upgrade.py b/platformio/commands/upgrade.py index edff2456..57615826 100644 --- a/platformio/commands/upgrade.py +++ b/platformio/commands/upgrade.py @@ -24,12 +24,12 @@ from platformio.managers.core import update_core_packages @click.command( "upgrade", short_help="Upgrade PlatformIO to the latest version") -@click.option("--develop", is_flag=True, help="Force development branch") -def cli(develop): +@click.option("--dev", is_flag=True, help="Use development branch") +def cli(dev): # Update PlatformIO's Core packages update_core_packages(silent=True) - if not develop and __version__ == get_latest_version(): + if not dev and __version__ == get_latest_version(): return click.secho( "You're up-to-date!\nPlatformIO %s is currently the " "newest version available." % __version__, @@ -40,7 +40,7 @@ def cli(develop): # kill all PIO Home servers, they block `pioplus` binary shutdown_servers() - to_develop = develop or not all( + to_develop = dev or not all( [c.isdigit() for c in __version__ if c != "."]) cmds = ([ "pip", "install", "--upgrade",