Download:
Patch
child 176:c55a72f7e47f
parent 174:2b4ab6c3384d
175:b8ac40257cb4
Anton Shestakov <av6@dwimlabs.net>, Sun, 17 Mar 2019 13:43:02 +0800
.bash_prompt: set terminal title Used to be done automatically somewhere, but not anymore?
1 файлов изменено, 1 вставок(+), 1 удалений(-) [+]
.bash_prompt file | annotate | diff | comparison | revisions 
--- a/.bash_prompt	Sun Mar 17 13:35:27 2019 +0800
+++ b/.bash_prompt	Sun Mar 17 13:43:02 2019 +0800
@@ -56,7 +56,7 @@
         local VENV="${G}+"$(basename "$VIRTUAL_ENV")"${RESET}"
     fi
 
-    PS1="\
+    PS1="\\[\\033]0;\\u@\\h: \\W\\007\\]\
 ${K}[${RESET}${TIME} \\u@\\h \
 ${RETCODE}\\W${VENV}${HG_INFO}${GIT_INFO}${K}]${RESET}\
 ${PROMPT_COLOR}\\\$${RESET} "