Overview
| Comment: | zshrc: Show the fossil branch |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
8e842107cf1367c5b324975227340151 |
| User & Date: | js on 2020-05-23 15:00:03 |
| Other Links: | manifest | tags |
Context
|
2020-05-23
| ||
| 15:22 | zshrc: Separate alias for colored fossil diff check-in: 47ff13eda1 user: js tags: trunk | |
| 15:00 | zshrc: Show the fossil branch check-in: 8e842107cf user: js tags: trunk | |
| 14:55 | zshrc: Add aliases for fossil check-in: 1462a28b63 user: js tags: trunk | |
Changes
Modified zshrc from [f5d65e714e] to [e579611505].
| ︙ | ︙ | |||
95 96 97 98 99 100 101 |
}
fi
set_prompt
__precmd() {
__update_terminal_cwd
| > > > | | > | | 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 |
}
fi
set_prompt
__precmd() {
__update_terminal_cwd
local branch=$(fossil branch current 2>/dev/null)
if [ -z "$branch" ]; then
branch=$(git symbolic-ref HEAD 2>/dev/null)
branch=${branch##refs/heads/}
fi
set_prompt $branch
}
case $TERM in
aterm|Eterm|rxvt*|uxterm*|xterm*)
# Use set_title if you want to change the term title
set_title() {
|
| ︙ | ︙ |