mirror of
https://github.com/platformio/platformio-core.git
synced 2025-08-02 11:24:27 +02:00
Do not ask for board ID when initialize project for desktop platform
This commit is contained in:
@@ -7,6 +7,7 @@ PlatformIO 3.0
|
|||||||
3.4.1 (2017-??-??)
|
3.4.1 (2017-??-??)
|
||||||
~~~~~~~~~~~~~~~~~~
|
~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
|
* Do not ask for board ID when initialize project for desktop platform
|
||||||
* Fixed issue when can not load broken PIO Core state
|
* Fixed issue when can not load broken PIO Core state
|
||||||
|
|
||||||
3.4.0 (2017-06-26)
|
3.4.0 (2017-06-26)
|
||||||
|
@@ -123,13 +123,14 @@ def get_best_envname(project_dir, boards=None):
|
|||||||
"env_default").split(", ")[0].strip()
|
"env_default").split(", ")[0].strip()
|
||||||
if env_default:
|
if env_default:
|
||||||
return env_default
|
return env_default
|
||||||
|
section = None
|
||||||
for section in config.sections():
|
for section in config.sections():
|
||||||
if not section.startswith("env:"):
|
if not section.startswith("env:"):
|
||||||
continue
|
continue
|
||||||
elif config.has_option(section, "board") and (not boards or config.get(
|
elif config.has_option(section, "board") and (not boards or config.get(
|
||||||
section, "board") in boards):
|
section, "board") in boards):
|
||||||
return section[4:]
|
break
|
||||||
return None
|
return section[4:] if section else None
|
||||||
|
|
||||||
|
|
||||||
def init_base_project(project_dir):
|
def init_base_project(project_dir):
|
||||||
|
Reference in New Issue
Block a user