equal
deleted
inserted
replaced
|
1 #!/usr/bin/env bash |
|
2 set -e |
|
3 if [ -d ~/tmp/tweet_live_V$1 ]; then |
|
4 rm -fr ~/tmp/tweet_live_V$1; |
|
5 fi |
|
6 |
|
7 hg archive -r V$1 ~/tmp/tweet_live_V$1 |
|
8 |
|
9 #text2unix ~/tmp/tweet_live_V$1 |
|
10 |
|
11 if [ -d ~/tmp/tweet_live_V$1 ]; then |
|
12 cat <<EOT | rsync -Cvrlz --delete --filter=". -" ~/tmp/tweet_live_V$1/tweetcast/server-gevent iri@www.iri.centrepompidou.fr:/home/polemictweet-nginx/server-gevent |
|
13 + core |
|
14 P server_setup.py |
|
15 EOT |
|
16 fi |
|
17 |
|
18 if [ -d ~/tmp/tweet_live_V$1 ]; then |
|
19 echo "Deleting temp export" |
|
20 rm -fr ~/tmp/tweet_live_V$1; |
|
21 fi |
|
22 |
|
23 #ssh iri@www.iri.centrepompidou.fr sudo apache2ctl restart |