Advertisement
Guest User

Untitled

a guest
Jun 16th, 2019
98
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.99 KB | None | 0 0
  1. LIGHTRED='\033[1;31m'
  2. LIGHTGREEN='\033[1;32m'
  3. LIGHTCYAN='\033[1;36m'
  4. LIGHTGRAY='\033[0;37m'
  5. YELLOW='\033[1;33m'
  6. RED='\033[0;31m'
  7. LIGHTPURPLE='\033[1;35m'
  8. GREEN='\033[0;32m'
  9. NC='\033[0m'
  10.  
  11. alias gl="git log --oneline"
  12. alias gto="git checkout"
  13. alias gc="git commit -m"
  14. alias gb="git branch"
  15.  
  16. set_branch(){
  17. # checking if current directory is a git directory
  18. ls -ahl | grep .git$ 1>/dev/null
  19. if [ $? -eq 0 ]
  20. then
  21. branch=`git branch | grep \* | awk -F ' ' {'print $2'}`
  22. fi
  23. }
  24. ppmessage(){
  25. printf " LOCAL/${LIGHTCYAN}$branch ${YELLOW}$1 ${NC} origin/${LIGHTRED}$branch ${NC}\n"
  26. }
  27.  
  28. # pull and push commands works for respective branch names
  29. pull(){
  30. set_branch
  31. ppmessage "<<<"
  32. git pull origin $branch
  33. }
  34. push(){
  35. set_branch
  36. ppmessage ">>>"
  37. git push origin $branch
  38. }
  39.  
  40. hub(){
  41. repo=`git config --get remote.origin.url | awk -F ':' {'print $2'} | awk -F '.' {'print $1'} `
  42. set_branch
  43. echo `google-chrome "github.com/$repo/tree/$branch" 1>/dev/null 2>&1 &`
  44. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement