diff options
| author | Raul Benencia <id@rbenencia.name> | 2023-01-23 08:25:35 -0800 |
|---|---|---|
| committer | Raul Benencia <id@rbenencia.name> | 2023-01-23 08:25:35 -0800 |
| commit | 05fa1ef9e136ec7ed5be2c33a754c24973fa3544 (patch) | |
| tree | 36f605845a050f3f57f5191659ea55a1d2bcce64 | |
| parent | 4ce31be06b41a25d557725844123e79507267b63 (diff) | |
bash: fix git branch when not in git root
| -rw-r--r-- | .bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -97,7 +97,7 @@ prompt_command_notitle () { local fullbranch="$(cat .git/HEAD 2>/dev/null)" if [ "$fullbranch" = "" ]; then - local fullbranch="$(git symbolic-ref HEAD 2>/dev/null)" + local fullbranch="ref: $(git symbolic-ref HEAD 2>/dev/null)" fi local branch="${fullbranch#ref: refs/heads/}" vcsinfo="${branch:+#$branch}" |