Advertisement
Guest User

Untitled

a guest
Sep 25th, 2017
52
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.42 KB | None | 0 0
  1. if [ "${action_type:-}" = 'ssh' ]; then
  2. SESSION_RECORD_FILE=$( SESSION_TARGET_GET_RECORD_FILE "${CURRENT_TIMESTAMP}" "${SSHKEY_USER}" "${TARGET_HOST}" )
  3. SSH_CONFIG_FILE=$( TARGET_SSH_GET_CONFIG "${TARGET_HOST}" "${TARGET_LOGIN}" )
  4.  
  5. RECORD --file "${SESSION_RECORD_FILE}" "ssh -F $( quote "${SSH_CONFIG_FILE}" ) ${TARGET_HOST} $( quote "${TARGET_HOST_COMMAND}" )"
  6. RETURN_VALUE=$?
  7. rm -f "${SSH_CONFIG_FILE}"
  8. else
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement