@@ -43,7 +43,6 @@ start_ssh() {
44exec_with_ssh() {
44exec_with_ssh() {
47 ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no -t $USER@$TARGET_IP -p $TARGET_SSH_PORT sudo -u $USER -i bash -ic \"$@\"
46 ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no -t $USER@$TARGET_IP -p $TARGET_SSH_PORT sudo -u $USER -i bash -ic \"$@\"
@@ -147,8 +146,6 @@ if [[ $status_output == "ssh start/running, process "* ]]; then
148SSH_STARTED=$SSH_WAS_STARTED
147SSH_STARTED=$SSH_WAS_STARTED
150−echo "$SSH_WAS_STARTED $SSH_STARTED"
152if $SETUP; then
149if $SETUP; then
153 echo "Setting up environment for building shell.."
150 echo "Setting up environment for building shell.."
154 install_ssh_key
151 install_ssh_key