changeset 2311:a42a2478abd2

jp (shell): added "whoami" command to print currently used profile
author Goffi <goffi@goffi.org>
date Thu, 06 Jul 2017 20:35:21 +0200
parents 5996063ecad7
children eaff25529c53
files frontends/src/jp/cmd_shell.py
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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!'))