From 246bfc111a23c9aca75245ab4ba524513fad0606 Mon Sep 17 00:00:00 2001 From: Jean-Marie Mineau Date: Thu, 24 Dec 2020 11:02:17 +0100 Subject: [PATCH] update .xonshrc --- .ssh/config | 1 + .xonshrc | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.ssh/config b/.ssh/config index 6a44509..4dd0673 100644 --- a/.ssh/config +++ b/.ssh/config @@ -24,3 +24,4 @@ Host telecom Hostname tp-3a101-12.enst.fr ProxyJump proxy-telecom User jmmineau + #RemoteCommand "source .xonsh_env/bin/activate && xonsh" diff --git a/.xonshrc b/.xonshrc index b704a54..86b5908 100644 --- a/.xonshrc +++ b/.xonshrc @@ -16,7 +16,7 @@ $DATA = '/media/me/dataDrive' $UPDATE_OS_ENVIRON = True -$PROMPT = '{env_name}{BOLD_INTENSE_PURPLE}{user}@{hostname}{BOLD_INTENSE_YELLOW} {cwd}{branch_color}{curr_branch: {}}{RESET} {BOLD_INTENSE_YELLOW}{prompt_end}{RESET} ' +$PROMPT = '{env_name}{BOLD_INTENSE_PURPLE}{user}@{hostname}{BOLD_INTENSE_YELLOW} {cwd}{branch_color}{curr_branch: [{}]}{RESET} {BOLD_INTENSE_YELLOW}{prompt_end}{RESET} ' $XONTRIB_SH_SHELLS = ['bash', 'sh'] if ${...}.get('XDG_CURRENT_DESKTOP', '') != "KDE" and \