Improve off-line mode // Resolve #1126

This commit is contained in:
Ivan Kravets
2017-12-13 18:14:01 +02:00
parent 3d0f0659ae
commit 0f37e15b6c
3 changed files with 30 additions and 8 deletions

View File

@ -40,8 +40,7 @@ def cli(dev):
# kill all PIO Home servers, they block `pioplus` binary
shutdown_servers()
to_develop = dev or not all(
[c.isdigit() for c in __version__ if c != "."])
to_develop = dev or not all([c.isdigit() for c in __version__ if c != "."])
cmds = ([
"pip", "install", "--upgrade",
"https://github.com/platformio/platformio-core/archive/develop.zip"