1 2 3 4 5 6 7 8 9 10 11 12 13 14
#!/bin/sh product=web repo=/usr/local/git/pub/$product.git web=$HOME/public_html #web=~www/apache24/data unset GIT_DIR cd $HOME/$product \ && git pull \ && git --git-dir=$repo --work-tree=$web checkout -f master -- \ index.html \ 7.1.10.52662.html \ && git --git-dir=$repo push