1234567891011121314151617181920212223242526272829303132333435363738394041 |
- ##############################################################################
- # Changes the prompt to a Debian-style one that truncates pwd to a max length
- # depending on the terminal column width. Also uses the prompt_callback
- # function of bash-git-prompt to set the window title to almost the same
- # Debian-style.
- #
- # The prompt will use a Debian-style on the form
- #
- # [user@host: <truncated PWD>] [bash-git-prompt-info] <exit status>
- # HH:MM $
- #
- # The window title will have the form
- # user@host: <truncated PWD>
- #
- # Example usage:
- # if [ -f ~/.bash-git-prompt/gitprompt.sh ]; then
- # GIT_PROMPT_THEME=TruncatedPwd_WindowTitle
- # source ~/.bash-git-prompt/gitprompt.sh
- # fi
- #
- # oGre <oGre@muppfarmen.se> [https://github.com/ogr3]
- ##############################################################################
- override_git_prompt_colors() {
- GIT_PROMPT_THEME_NAME="TruncatedPwd_WindowTitle"
- #Overrides the prompt_callback function used by bash-git-prompt
- function prompt_callback {
- local PS1="\u@\h: $(gp_truncate_pwd)"
- gp_set_window_title "$PS1"
- echo -n "${Yellow}[${PS1}]${ResetColor}"
- }
- local gp_end=" _LAST_COMMAND_INDICATOR_\n${White}${Time12a}${ResetColor}"
- GIT_PROMPT_START_USER=""
- GIT_PROMPT_END_USER="${gp_end} $ "
- GIT_PROMPT_END_ROOT="${gp_end} # "
- }
- reload_git_prompt_colors "TruncatedPwd_WindowTitle"
|