From 04b274a87b5a595d93692bd22582855849e2775b Mon Sep 17 00:00:00 2001 From: Goffi Date: Thu, 6 Jul 2017 20:35:21 +0200 Subject: [PATCH] jp (shell): added "whoami" command to print currently used profile --- frontends/src/jp/cmd_shell.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/frontends/src/jp/cmd_shell.py b/frontends/src/jp/cmd_shell.py index e56d4afe..cc208ffb 100644 --- a/frontends/src/jp/cmd_shell.py +++ b/frontends/src/jp/cmd_shell.py @@ -242,6 +242,10 @@ class Shell(base.CommandBase, cmd.Cmd): 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!'))