On 25/05/21 12:46, Philippe Mathieu-Daudé wrote:
+  k = []
+    foreach m, _ : list
+      k += [m]
+    endforeach
+  summary_info += {d: ' '.join(k)}

Perhaps:

foreach dir, list : modules
  if list.keys().length() > 0
    summary_info += {dir: ' '.join(list.keys())}
  endif
endforeach

Paolo

+endforeach
+summary(summary_info, bool_yn: true, section: 'Modules')
+


Reply via email to