| changeset 401 | 71c55bfff147 |
| parent 286 | 6ac68295defe |
| child 425 | b346fd32fc34 |
| 400:e1a94c866d35 | 401:71c55bfff147 |
|---|---|
20 if [ -d ~/tmp/tweet_live_V$1 ]; then |
20 if [ -d ~/tmp/tweet_live_V$1 ]; then |
21 echo "Deleting temp export" |
21 echo "Deleting temp export" |
22 rm -fr ~/tmp/tweet_live_V$1; |
22 rm -fr ~/tmp/tweet_live_V$1; |
23 fi |
23 fi |
24 |
24 |
25 ssh iri@web.iri.centrepompidou.fr sudo apache2ctl restart |
25 ssh iri@www.iri.centrepompidou.fr sudo apache2ctl restart |