comparison frontends/src/jp/cmd_shell.py @ 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 6ff5212997c7
comparison
equal deleted inserted replaced
2310:5996063ecad7 2311:a42a2478abd2
240 self.disp(A.color(C.A_FAILURE, _(u'argument {name} not found').format(name=arg)), error=True) 240 self.disp(A.color(C.A_FAILURE, _(u'argument {name} not found').format(name=arg)), error=True)
241 else: 241 else:
242 if self.verbose: 242 if self.verbose:
243 self.disp(_(u'argument {name} removed').format(name=arg)) 243 self.disp(_(u'argument {name} removed').format(name=arg))
244 244
245 def do_whoami(self, args):
246 u"""print profile currently used"""
247 self.disp(self.profile)
248
245 def do_quit(self, args): 249 def do_quit(self, args):
246 u"""quit the shell""" 250 u"""quit the shell"""
247 self.disp(_(u'good bye!')) 251 self.disp(_(u'good bye!'))
248 self.host.quit() 252 self.host.quit()
249 253