feedc0de/platformio-core
1
0
Fork 0
forked from platformio/platformio-core
Code Pull Requests Activity

Rename envs_dir option to build_dir in platformio.ini

Browse Source
This commit is contained in:
Ivan Kravets
2018-01-03 15:47:02 +02:00
parent 82246a837e
commit 5e666492c3
7 changed files with 51 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
platformio/util.py
View File

@@ -311,8 +311,8 @@ def get_projectboards_dir():
join(get_project_dir(), "boards"))
def get_projectpioenvs_dir(force=False):
path = get_project_optional_dir("envs_dir",
def get_projectbuild_dir(force=False):
path = get_project_optional_dir("build_dir",
join(get_project_dir(), ".pioenvs"))
try:
if not isdir(path):
@@ -322,7 +322,7 @@ def get_projectpioenvs_dir(force=False):
with open(dontmod_path, "w") as fp:
fp.write("""
[InternetShortcut]
URL=http://docs.platformio.org/page/projectconf.html#envs-dir
URL=http://docs.platformio.org/page/projectconf.html#build-dir
""")
except Exception as e: # pylint: disable=broad-except
if not force:
@@ -330,6 +330,10 @@ URL=http://docs.platformio.org/page/projectconf.html#envs-dir
return path
# compatibility with PIO Core+
get_projectpioenvs_dir = get_projectbuild_dir
def get_projectdata_dir():
return get_project_optional_dir("data_dir", join(get_project_dir(),
"data"))