From 444926825cf02cc3a306b7cba4c79c7c62f50c56 Mon Sep 17 00:00:00 2001 From: Goffi Date: Mon, 13 Mar 2017 23:15:06 +0100 Subject: [PATCH] jp (output dict): added color and no-header option --- frontends/src/jp/output_std.py | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/frontends/src/jp/output_std.py b/frontends/src/jp/output_std.py index 6f058859..4efde431 100644 --- a/frontends/src/jp/output_std.py +++ b/frontends/src/jp/output_std.py @@ -20,6 +20,7 @@ from sat_frontends.jp.constants import Const as C +from sat.tools.common.ansi import ANSI as A import json __outputs__ = ["Simple", "Json"] @@ -45,8 +46,16 @@ class Simple(object): self.host.disp(u'\n'.join(data)) def dict(self, data): - for k, v in data: - self.host.disp((u'{key}: {value}'.format(key=k, value=v))) + options = self.host.parse_output_options() + self.host.check_output_options({u'no-header'}, options) + show_header = not u'no-header' in options + for k, v in data.iteritems(): + if show_header: + header = A.color(A.BOLD, A.FG_YELLOW, k) + u': ' + else: + header = u'' + + self.host.disp((u'{header}{value}'.format(header=header, value=v))) class Json(object):