equal
deleted
inserted
replaced
7 hg archive -r V$1 ~/tmp/tweet_live_V$1 |
7 hg archive -r V$1 ~/tmp/tweet_live_V$1 |
8 |
8 |
9 #text2unix ~/tmp/tweet_live_V$1 |
9 #text2unix ~/tmp/tweet_live_V$1 |
10 |
10 |
11 if [ -d ~/tmp/tweet_live_V$1 ]; then |
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 |
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 |
13 + core |
14 P server_setup.py |
14 P server_setup.py |
15 EOT |
15 EOT |
16 fi |
16 fi |
17 |
17 |