# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1499366121 -7200
# Node ID a42a2478abd25a222113c164ce1174c66e5ad394
# Parent  5996063ecad730623b68ab0b5d3d638404bbbd3c
jp (shell): added "whoami" command to print currently used profile

diff -r 5996063ecad7 -r a42a2478abd2 frontends/src/jp/cmd_shell.py
--- a/frontends/src/jp/cmd_shell.py	Thu Jul 06 20:31:31 2017 +0200
+++ b/frontends/src/jp/cmd_shell.py	Thu Jul 06 20:35:21 2017 +0200
@@ -242,6 +242,10 @@
                     if self.verbose:
                         self.disp(_(u'argument {name} removed').format(name=arg))
 
+    def do_whoami(self, args):
+        u"""print profile currently used"""
+        self.disp(self.profile)
+
     def do_quit(self, args):
         u"""quit the shell"""
         self.disp(_(u'good bye!'))