equal
deleted
inserted
replaced
8 USER=anders |
8 USER=anders |
9 SERVER=andersman.org |
9 SERVER=andersman.org |
10 HTDOCS=/srv/hg/happymars/htdocs |
10 HTDOCS=/srv/hg/happymars/htdocs |
11 #------------------------------------------------------------------------------- |
11 #------------------------------------------------------------------------------- |
12 |
12 |
|
13 rm ../htdocs/i686/*.old |
|
14 rm ../htdocs/x86_64/*.old |
|
15 |
13 rsync -zrptL -e ssh ../htdocs/i686/ $USER@$SERVER:$HTDOCS/i686/ |
16 rsync -zrptL -e ssh ../htdocs/i686/ $USER@$SERVER:$HTDOCS/i686/ |
14 echo "Finished syncing i686" |
17 echo "Finished syncing i686" |
15 rsync -zrptL -e ssh ../htdocs/x86_64/ $USER@$SERVER:$HTDOCS/x86_64/ |
18 rsync -zrptL -e ssh ../htdocs/x86_64/ $USER@$SERVER:$HTDOCS/x86_64/ |
16 echo "Finished syncing x86_64" |
19 echo "Finished syncing x86_64" |