diff options
author | Steve Mao <maochenyan@gmail.com> | 2016-02-14 12:06:58 +1100 |
---|---|---|
committer | Mathias Bynens <mathias@qiwi.be> | 2016-02-14 11:35:02 +0100 |
commit | 8654ead31bac51ab90a6d6eb0a0132cb57c1eb92 (patch) | |
tree | 716d8271d2d726720e1920aa396bb8590a6c581f | |
parent | 513f809f4283697fe47517f345e5c4928c3193c5 (diff) | |
download | dotfiles-8654ead31bac51ab90a6d6eb0a0132cb57c1eb92.tar.gz dotfiles-8654ead31bac51ab90a6d6eb0a0132cb57c1eb92.tar.bz2 dotfiles-8654ead31bac51ab90a6d6eb0a0132cb57c1eb92.zip |
.bash_prompt: Improve title
This will set the title of the current terminal tab to the name of the folder you are in rather than the whole path.
Closes #623.
-rw-r--r-- | .bash_prompt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.bash_prompt b/.bash_prompt index 7afdb79..cb018fd 100644 --- a/.bash_prompt +++ b/.bash_prompt @@ -104,7 +104,7 @@ else fi; # Set the terminal title to the current working directory. -PS1="\[\033]0;\w\007\]"; +PS1="\033]0; ${PWD##*/}\007"; PS1+="\[${bold}\]\n"; # newline PS1+="\[${userStyle}\]\u"; # username PS1+="\[${white}\] at "; |