|
|
|
@ -23,11 +23,6 @@ |
|
|
|
override_git_prompt_colors() { |
|
|
|
override_git_prompt_colors() { |
|
|
|
GIT_PROMPT_THEME_NAME="TruncatedPwd_WindowTitle" |
|
|
|
GIT_PROMPT_THEME_NAME="TruncatedPwd_WindowTitle" |
|
|
|
|
|
|
|
|
|
|
|
#Sets the window title to the given argument string |
|
|
|
|
|
|
|
function gp_set_title { |
|
|
|
|
|
|
|
echo -ne "\033]0;"$@"\007" |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#Helper function that truncates $PWD depending on window width |
|
|
|
#Helper function that truncates $PWD depending on window width |
|
|
|
function gp_truncate_pwd { |
|
|
|
function gp_truncate_pwd { |
|
|
|
local newPWD="${PWD/#$HOME/~}" |
|
|
|
local newPWD="${PWD/#$HOME/~}" |
|
|
|
@ -39,7 +34,7 @@ override_git_prompt_colors() { |
|
|
|
#Overrides the prompt_callback function used by bash-git-prompt |
|
|
|
#Overrides the prompt_callback function used by bash-git-prompt |
|
|
|
function prompt_callback { |
|
|
|
function prompt_callback { |
|
|
|
local PS1="\u@\h: $(gp_truncate_pwd)" |
|
|
|
local PS1="\u@\h: $(gp_truncate_pwd)" |
|
|
|
gp_set_title $PS1 |
|
|
|
gp_set_window_title "$PS1" |
|
|
|
echo -n "[${PS1}]${ResetColor}" |
|
|
|
echo -n "[${PS1}]${ResetColor}" |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|