When using sudo -i to set $HOME etc, it also sets pwd to $HOME. So cd to desired location.

Signed-off-by: David Greaves <david@dgreaves.com>
Don't allow / in target names either

Signed-off-by: David Greaves <david@dgreaves.com>
Synchronise target manually

Signed-off-by: David Greaves <david@dgreaves.com>