# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1499365891 -7200
# Node ID 5996063ecad730623b68ab0b5d3d638404bbbd3c
# Parent  c7a72b75232b8e1aae3adccfc02062be3bb22c97
jp (shell): don't print header if a command is specified in help

diff -r c7a72b75232b -r 5996063ecad7 frontends/src/jp/cmd_shell.py
--- a/frontends/src/jp/cmd_shell.py	Thu Jul 06 20:28:25 2017 +0200
+++ b/frontends/src/jp/cmd_shell.py	Thu Jul 06 20:31:31 2017 +0200
@@ -141,7 +141,8 @@
 
     def do_help(self, args):
         """show help message"""
-        self.disp(A.color(C.A_HEADER, _(u'Shell commands:')), no_lf=True)
+        if not args:
+            self.disp(A.color(C.A_HEADER, _(u'Shell commands:')), no_lf=True)
         super(Shell, self).do_help(args)
         if not args:
             self.disp(A.color(C.A_HEADER, _(u'Action commands:')))