add remove_remote_dir()
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
6e3c228a6f
commit
94fc5b3c91
1 changed files with 4 additions and 0 deletions
|
@ -50,7 +50,11 @@ def remote_run_or_fail(hostname, *args):
|
||||||
|
|
||||||
run_or_fail(newargs)
|
run_or_fail(newargs)
|
||||||
|
|
||||||
|
def remove_remote_dir(hostname, destination):
|
||||||
|
remote_run_or_fail(hostname, ["rm", "-rf", destination])
|
||||||
|
|
||||||
def transfer_dir(hostname, source, destination):
|
def transfer_dir(hostname, source, destination):
|
||||||
|
remove_remote_dir(hostname, destination)
|
||||||
run_or_fail(["scp", "-r", source, hostname + ":" + destination])
|
run_or_fail(["scp", "-r", source, hostname + ":" + destination])
|
||||||
|
|
||||||
def base_directory():
|
def base_directory():
|
||||||
|
|
Loading…
Reference in a new issue