diff options
author | Amin Bandali <bandali@gnu.org> | 2019-08-10 03:15:54 -0400 |
---|---|---|
committer | Amin Bandali <bandali@gnu.org> | 2019-08-10 03:15:54 -0400 |
commit | 178f98e1b1a290f6b68313bb01d215fe1b2852e1 (patch) | |
tree | c1afbffbae7642d880c76681a166854e2c421086 | |
parent | 16ff2912b50296e533a40e149cad944bfaf30391 (diff) | |
download | configs-178f98e1b1a290f6b68313bb01d215fe1b2852e1.tar.gz configs-178f98e1b1a290f6b68313bb01d215fe1b2852e1.tar.xz configs-178f98e1b1a290f6b68313bb01d215fe1b2852e1.zip |
bash: set terminal title
-rw-r--r-- | .bashrc | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -34,6 +34,9 @@ else PS1="\u@\h \$(a_prompt)> " fi +# set terminal title +PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: $(a_prompt)\007"' + # i-beam cursor # echo -e "\033[5 q" # blinking # echo -e "\033[6 q" # non-blinking |