Advertisement
Guest User

Untitled

a guest
Sep 23rd, 2013
72
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/sh
  2. echo "Updating web directory."
  3. export GIT_WORK_TREE=/www/gitrepo
  4. export GIT_DIR=/www/gitrepo/.git
  5. export GIT_REPO=/home/git/repositories/repo.git
  6. cd $GIT_WORK_TREE
  7. echo "Web directory is"
  8. echo $GIT_WORK_TREE
  9. sudo -u www-data /usr/bin/git pull $GIT_REPO
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement