#!/bin/sh
cd plugins
# target IP is 195.227.10.246, but since it's outside the firewall we use an SSH tunnel
ssh -p 12347 trac@localhost "rm git/target/plugins/*"
scp -P 12347 * trac@localhost:git/target/plugins