ginkgo_tools_batchssh
