diff options
author | Joerg Jaspert <joerg@debian.org> | 2008-10-22 00:25:49 +0200 |
---|---|---|
committer | Joerg Jaspert <joerg@debian.org> | 2008-10-22 00:25:49 +0200 |
commit | 001b1867e201f5351dad783dbbf2658d9df453c5 (patch) | |
tree | e7fffdb9925f6c0da7cdbf1591816ee7ba6b875b /etc | |
parent | df7531cd2d14e1633d2f755c3f6405f8ed331219 (diff) |
runmirrors.
bad fingers, [ != {
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to 'etc')
-rw-r--r-- | etc/common | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -33,6 +33,7 @@ signal () { USERNAME=${USERNAME:-""} SSHPROTO=${SSHPROTO:-""} SSHKEY=${SSHKEY:-""} + SSHOPTS=${SSHOPTS:-""} PUSHLOCKOWN=${PUSHLOCKOWN:-""} PUSHTYPE=${PUSHTYPE:-"all"} PUSHARCHIVE=${PUSHARCHIVE:-""} @@ -43,7 +44,7 @@ signal () { SSH_OPTIONS="-o BatchMode=yes -o SetupTimeOut=45 -o ConnectTimeout=45 -o PasswordAuthentication=no" if [ ${SSHOPTS} -n ]; then - SSH_OPTIONS="${SSH_OPTIONS} $[SSHOPTS}" + SSH_OPTIONS="${SSH_OPTIONS} ${SSHOPTS}" fi if [ ${SSHPROTO} -ne 1 ] && [ ${SSHPROTO} -ne 2 ]; then |