configs  Diff

Differences From Artifact [7a953e445f]:

To Artifact [9c0bab85e6]:


96
97
98
99
100
101
102

103
104
105
106
107
108
109
110
111
112
113
114
fi
set_prompt

__precmd() {
	__update_terminal_cwd

	local branch=""

	local fossil_branch=$(fossil branch current 2>/dev/null)
	if [ -n "$fossil_branch" ]; then
		branch="$branch${branch:+ }f:$fossil_branch"
	fi

	
	local git_branch=$(git symbolic-ref HEAD 2>/dev/null)
	git_branch=${git_branch##refs/heads/}
	if [ -n "$git_branch" ]; then
		branch="$branch${branch:+ }g:$git_branch"
	fi








>




<







96
97
98
99
100
101
102
103
104
105
106
107

108
109
110
111
112
113
114
fi
set_prompt

__precmd() {
	__update_terminal_cwd

	local branch=""

	local fossil_branch=$(fossil branch current 2>/dev/null)
	if [ -n "$fossil_branch" ]; then
		branch="$branch${branch:+ }f:$fossil_branch"
	fi

	
	local git_branch=$(git symbolic-ref HEAD 2>/dev/null)
	git_branch=${git_branch##refs/heads/}
	if [ -n "$git_branch" ]; then
		branch="$branch${branch:+ }g:$git_branch"
	fi