- f=/a/bin/bash_unpublished/source-state
- if ! old_info=($($old_shell "hostname; sed -n s,.*MAIL_HOST=,,p $f; sed -n s,.*HOST2=,,p $f")); then
- echo "$pre: error: failed ssh. retrying failed $old_shell with -v for more info:"
- $old_shell -v hostname
- exit 1
- fi
- old_hostname=${old_info[0]}
- MAIL_HOST=${old_info[1]}
- HOST2=${old_info[2]}