platformio/platformio-core
1
0
Fork 1
mirror of https://github.com/platformio/platformio-core.git synced 2025-07-30 10:07:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Docs: Show onboard debug tools before

Browse Source
This commit is contained in:
Ivan Kravets
2018-03-07 13:48:59 +02:00
parent 3269d243a8
commit 90993ec69f
2 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs

Submodule docs updated: f32c300c1c...cbb1112bca

10
scripts/docspregen.py
View File

@ -77,7 +77,8 @@ def generate_boards(boards, extend_debug=False, skip_columns=None):
for data in sorted(boards, key=lambda item: item['id']): for data in sorted(boards, key=lambda item: item['id']):
debug = [":ref:`Yes <piodebug>`" if data['debug'] else "No"] debug = [":ref:`Yes <piodebug>`" if data['debug'] else "No"]
if extend_debug and data['debug']: if extend_debug and data['debug']:
debug = [] debug_onboard = []
debug_external = []
for name, options in data['debug']['tools'].items(): for name, options in data['debug']['tools'].items():
attrs = [] attrs = []
if options.get("default"): if options.get("default"):
@ -86,9 +87,12 @@ def generate_boards(boards, extend_debug=False, skip_columns=None):
attrs.append("on-board") attrs.append("on-board")
tool = ":ref:`debugging_tool_%s`" % name tool = ":ref:`debugging_tool_%s`" % name
if attrs: if attrs:
debug.append("%s (%s)" % (tool, ", ".join(attrs))) tool = "%s (%s)" % (tool, ", ".join(attrs))
if options.get("onboard"):
debug_onboard.append(tool)
else: else:
debug.append(tool) debug_external.append(tool)
debug = sorted(debug_onboard) + sorted(debug_external)
variables = dict( variables = dict(
id=data['id'], id=data['id'],