let ssh_batch_option _ = !_configuration_ssh_batch_option