Merge pull request #182 from ogr3/set-window-title

Helper function that can be used to set window title
master
Martin Gondermann 10 years ago
commit 828930178b
  1. 13
      gitprompt.sh
  2. 15
      themes/TruncatedPwd_WindowTitle.bgptheme
  3. 15
      themes/TruncatedPwd_WindowTitle_NoExitState.bgptheme

@ -521,6 +521,19 @@ function is_function {
declare -Ff "$1" >/dev/null; declare -Ff "$1" >/dev/null;
} }
#Helper function that truncates $PWD depending on window width
function gp_truncate_pwd {
local newPWD="${PWD/#$HOME/~}"
local pwdmaxlen=$((${COLUMNS:-80}/3))
[ ${#newPWD} -gt $pwdmaxlen ] && newPWD="...${newPWD:3-$pwdmaxlen}"
echo -n "$newPWD"
}
#Sets the window title to the given argument string
function gp_set_window_title {
echo -ne "\033]0;"$@"\007"
}
function prompt_callback_default { function prompt_callback_default {
return return
} }

@ -23,23 +23,10 @@
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
function gp_truncate_pwd {
local newPWD="${PWD/#$HOME/~}"
local pwdmaxlen=$((${COLUMNS:-80}/3))
[ ${#newPWD} -gt $pwdmaxlen ] && newPWD="...${newPWD:3-$pwdmaxlen}"
echo -n "$newPWD"
}
#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}"
} }

@ -23,23 +23,10 @@
override_git_prompt_colors() { override_git_prompt_colors() {
GIT_PROMPT_THEME_NAME="TruncatedPwd_WindowTitle_NoExitState" GIT_PROMPT_THEME_NAME="TruncatedPwd_WindowTitle_NoExitState"
#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
function gp_truncate_pwd {
local newPWD="${PWD/#$HOME/~}"
local pwdmaxlen=$((${COLUMNS:-80}/3))
[ ${#newPWD} -gt $pwdmaxlen ] && newPWD="...${newPWD:3-$pwdmaxlen}"
echo -n "$newPWD"
}
#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}"
} }

Loading…
Cancel
Save