Download:
child 177:bd893493bc06
parent 175:b8ac40257cb4
176:c55a72f7e47f
Anton Shestakov <av6@dwimlabs.net>, Fri, 22 Mar 2019 00:23:17 +0800
.bash_prompt: set terminal title on its own line

1 файлов изменено, 3 вставок(+), 1 удалений(-) [+]
.bash_prompt file | annotate | diff | comparison | revisions
--- a/.bash_prompt Sun Mar 17 13:43:02 2019 +0800
+++ b/.bash_prompt Fri Mar 22 00:23:17 2019 +0800
@@ -56,10 +56,12 @@
local VENV="${G}+"$(basename "$VIRTUAL_ENV")"${RESET}"
fi
- PS1="\\[\\033]0;\\u@\\h: \\W\\007\\]\
+ PS1="\
${K}[${RESET}${TIME} \\u@\\h \
${RETCODE}\\W${VENV}${HG_INFO}${GIT_INFO}${K}]${RESET}\
${PROMPT_COLOR}\\\$${RESET} "
+
+ PS1="\\[\\033]0;\\u@\\h: \\W\\007\\]$PS1"
}
function _upsearch {