Commit 75650976 authored by Jose Tiago Macara Coutinho's avatar Jose Tiago Macara Coutinho Committed by Jose Tiago Macara Coutinho
Browse files

shell: add shell title

parent 9fa49c5d
......@@ -199,8 +199,11 @@ def main():
if sessions_name:
session_id = '_'.join(sessions_name)
session_title = u'Bliss shell ({0})'.format(', '.join(sessions_name))
history_filename = ".%s_%s_history" % (os.path.basename(sys.argv[0]), session_id)
else:
session_id = 'unnamed'
session_title = u'Bliss shell'
history_filename = ".%s_history" % os.path.basename(sys.argv[0])
history_filename = os.path.join(os.environ["HOME"], history_filename)
......@@ -241,7 +244,7 @@ def main():
signal.signal(signal.SIGTERM, stop_current_task)
repl.embed(user_ns, None, vi_mode=False, history_filename=history_filename,
configure=patch_repl)
configure=patch_repl, title=session_title)
if __name__ == '__main__':
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment