diff --git a/plugins/fossil/fossil.plugin.zsh b/plugins/fossil/fossil.plugin.zsh index a2123f415..06a59be66 100644 --- a/plugins/fossil/fossil.plugin.zsh +++ b/plugins/fossil/fossil.plugin.zsh @@ -35,18 +35,23 @@ function fossil_prompt_info() { } function _fossil_prompt () { - local current=`echo $PROMPT $RPROMPT | grep fossil` - - if [ "$_FOSSIL_PROMPT" = "" -o "$current" = "" ]; then - local _prompt=${PROMPT} - local _rprompt=${RPROMPT} - - local is_prompt=`echo $PROMPT | grep git` - - if [ "$is_prompt" = "" ]; then - RPROMPT="$_rprompt"'$(fossil_prompt_info)' - else - PROMPT="$_prompt"'$(fossil_prompt_info) ' + if [ -z "$_FOSSIL_PROMPT" ]; then + # Use substitutions to work out what other plugins and themes have + # done ahead of us so we don't duplicate their work. + # + # If $fossil_prompt_info isn't in the prompt strings already but we + # can find $git_prompt_info, put it immediately afterward so that + # one or the other appears in the prompt. We're gambling that you + # aren't in a directory that's a checkout for both a Git repo and a + # Fossil repo. + # + # Otherwise, don't guess about where the user wants our prompt info + # placed. They can edit their theme to place it manually. + if [ "${PROMPT/fossil_prompt_info//}" = "$PROMPT" ]; then + PROMPT="${PROMPT/git_prompt_info/git_prompt_info)\$(fossil_prompt_info}" + fi + if [ "${RPROMPT/fossil_prompt_info//}" = "$RPROMPT" ]; then + RPROMPT="${RPROMPT/git_prompt_info/git_prompt_info)\$(fossil_prompt_info}" fi _FOSSIL_PROMPT="1"