From ca81ab2f91c07c3bfff6c29293e20ae0d3e017cc Mon Sep 17 00:00:00 2001 From: sharkdp Date: Mon, 13 Apr 2020 08:28:29 +0200 Subject: [PATCH] Add --titles option --- scripts/plot_parametrized.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/plot_parametrized.py b/scripts/plot_parametrized.py index d100681..0f2e5ae 100755 --- a/scripts/plot_parametrized.py +++ b/scripts/plot_parametrized.py @@ -21,6 +21,9 @@ parser.add_argument( parser.add_argument( "--log-time", help="Use a logarithmic time axis", action="store_true" ) +parser.add_argument( + "--titles", help="Comma-separated list of titles for the plot legend" +) args = parser.parse_args() @@ -45,4 +48,7 @@ else: if args.log_x: plt.xscale("log") +if args.titles: + plt.legend(args.titles.split(",")) + plt.show()