bash prompt: print unique detached HEAD abbreviated object name