Fixing detached-head git header

profile-util

@@ -16,7 +16,12 @@ SUCCESS() {
 CODE() { IS_PASS $1 || echo "(rc=$1) "; }
 GITBRANCH() {
   local branch=$(git rev-parse --abbrev-ref HEAD 2>/dev/null)
-  [[ -z ${branch} ]] || echo -n ":${branch}"
+  if [[ -z ${branch} ]]; then return; fi
+  if [[ ${branch} == "HEAD" ]]; then
+    echo -n ":$(git show -s --format=%h)"
+  else
+    echo -n ":${branch}"
+  fi
 }
 export PS1='$(rc=$?; echo -e "\[$CYAN\]\D{%F %T} \[$BBLUE\]\u\[$RESET\]@\[$(SUCCESS $rc)\]\h:[\w$(GITBRANCH)] $(CODE $rc)\[$RESET\]$ ")'