equal
deleted
inserted
replaced
5 fi |
5 fi |
6 |
6 |
7 hg archive -r $1 ~/tmp/bubbletv_$1 -X ".hg*" |
7 hg archive -r $1 ~/tmp/bubbletv_$1 -X ".hg*" |
8 |
8 |
9 if [ -d ~/tmp/bubbletv_$1 ]; then |
9 if [ -d ~/tmp/bubbletv_$1 ]; then |
10 cat <<EOT | rsync -Cvrlz --delete --filter=". -" ~/tmp/bubbletv_$1/server/web iri@ftv.iri-research.org:/srv/wsgi/bubbletv |
10 cat <<EOT | rsync -Cvrlz --delete --filter=". -" ~/tmp/bubbletv_$1/server/web/ iri@ftv.iri-research.org:/srv/wsgi/bubbletv |
11 + core |
11 + core |
12 EOT |
12 EOT |
13 fi |
13 fi |
14 |
14 |
15 if [ -d ~/tmp/bubbletv_$1 ]; then |
15 if [ -d ~/tmp/bubbletv_$1 ]; then |