@@ -43,7 +43,6 @@ start_ssh() {
4343
4444exec_with_ssh() {
4545 start_ssh
46−
4746 ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no -t $USER@$TARGET_IP -p $TARGET_SSH_PORT sudo -u $USER -i bash -ic \"$@\"
4847}
4948
@@ -147,8 +146,6 @@ if [[ $status_output == "ssh start/running, process "* ]]; then
147146fi
148147SSH_STARTED=$SSH_WAS_STARTED
149148
150−echo "$SSH_WAS_STARTED $SSH_STARTED"
151−
152149if $SETUP; then
153150 echo "Setting up environment for building shell.."
154151 install_ssh_key