From 2134022565cedc50ca8e3ffbd8a13254db6d30f0 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Fri, 26 Oct 2018 01:27:06 +0300 Subject: [PATCH] Print board's configuration URL --- platformio/builder/tools/pioplatform.py | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/platformio/builder/tools/pioplatform.py b/platformio/builder/tools/pioplatform.py index 0fe4aeda..13387f41 100644 --- a/platformio/builder/tools/pioplatform.py +++ b/platformio/builder/tools/pioplatform.py @@ -122,8 +122,10 @@ def LoadPioPlatform(env, variables): def PrintConfiguration(env): - platform_data = ["PLATFORM: %s >" % env.PioPlatform().title] + platform = env.PioPlatform() + platform_data = ["PLATFORM: %s >" % platform.title] system_data = ["SYSTEM:"] + configuration_data = ["CONFIGURATION:"] mcu = env.subst("$BOARD_MCU") f_cpu = env.subst("$BOARD_F_CPU") if mcu: @@ -142,11 +144,13 @@ def PrintConfiguration(env): flash = board_config.get("upload", {}).get("maximum_size") system_data.append("%s RAM (%s Flash)" % (util.format_filesize(ram), util.format_filesize(flash))) + configuration_data.append( + "https://docs.platformio.org/page/boards/%s/%s.html" % + (platform.name, board_config.id)) - if platform_data: - print " ".join(platform_data) - if system_data: - print " ".join(system_data) + for data in (configuration_data, platform_data, system_data): + if len(data) > 1: + print " ".join(data) # Debugging if not debug_tools: