home · contact · privacy
Make server meeting preparation script executable.
[config] / all_new_2018 / mirror_dir.sh
1 #!/bin/sh
2 set -e
3
4 if [ $# -lt 2 ]; then
5     echo "Need server and directory as arguments."
6     false
7 fi
8 server=$1
9 dir=$2
10 path_package=/tmp/delete.tar
11
12 eval `ssh-agent`
13 ssh-add
14 cd
15 ssh plom@"${server}" "cd \"${dir}\" && tar cf ${path_package} ."
16 scp plom@"${server}":"${path_package}" "${path_package}"
17 mkdir -p "${dir}"
18 cd "${dir}"
19 tar xf "${path_package}"
20 cd
21 rm "${path_package}"
22 ssh plom@"${server}" rm "${path_package}"