Guest User

Untitled

a guest
Apr 25th, 2018
75
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.47 KB | None | 0 0
  1. SSH_ENV=$HOME/.ssh/environment
  2.  
  3. function start_agent {
  4. echo "Initializing new SSH agent..."
  5. /usr/bin/ssh-agent | sed 's/^echo/#echo/' > ${SSH_ENV}
  6. echo succeeded
  7. chmod 600 ${SSH_ENV}
  8. . ${SSH_ENV} > /dev/null
  9. /usr/bin/ssh-add;
  10. }
  11.  
  12. # Source SSH settings, if applicable
  13. if [ -f "${SSH_ENV}" ]; then
  14. . ${SSH_ENV} > /dev/null
  15. ps -x | grep "^ *${SSH_AGENT_PID}" | grep ssh-agent$ > /dev/null || {
  16. start_agent;
  17. }
  18. else
  19. start_agent;
  20. fi
Add Comment
Please, Sign In to add comment