1 changed file
.bash.d | ||
git.sh | ||
Add comment 338 fi
Add comment 339 }
Add comment 340
Add comment 341 Plus git_revision(){
Add comment 342 Plus echo "Revision: $(git rev-parse HEAD)"
Add comment 343 Plus }
Add comment 341 344
Add comment 342 345 st(){
Add comment 343 346 # shellcheck disable=SC2086
Add comment 398 401 #git -c color.status=always status -sb . "$@"
Add comment 399 402 git -c color.status=always status . "$@"
Add comment 400 403 echo
Add comment 401 Minus echo "Revision: $(git rev-parse HEAD)"
Add comment 404 Plus git_revision
Add comment 402 405 echo
Add comment 403 406 else
Add comment 404 407 pushd "$target_dirname" >/dev/null || { echo "Error: failed to pushed to '$target_dirname'"; return 1; }
Add comment 751 754 git checkout "$master_branch"
Add comment 752 755 pull
Add comment 753 756 prune
Add comment 757 Plus git_revision
Add comment 758 Plus echo
Add comment 754 759 }
Add comment 755 760
Add comment 756 761 current_branch(){