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 \