Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- if [ "${action_type:-}" = 'ssh' ]; then
- SESSION_RECORD_FILE=$( SESSION_TARGET_GET_RECORD_FILE "${CURRENT_TIMESTAMP}" "${SSHKEY_USER}" "${TARGET_HOST}" )
- SSH_CONFIG_FILE=$( TARGET_SSH_GET_CONFIG "${TARGET_HOST}" "${TARGET_LOGIN}" )
- RECORD --file "${SESSION_RECORD_FILE}" "ssh -F $( quote "${SSH_CONFIG_FILE}" ) ${TARGET_HOST} $( quote "${TARGET_HOST_COMMAND}" )"
- RETURN_VALUE=$?
- rm -f "${SSH_CONFIG_FILE}"
- else
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement