Guest User

Untitled

a guest
May 16th, 2018
145
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.40 KB | None | 0 0
  1. #!/bin/bash
  2. FAST_MACHINE=stanley
  3.  
  4. env | grep SSH_AGENT_PID
  5. SSH_AGENT_CHECK_STATUS=$?
  6. if [ $SSH_AGENT_CHECK_STATUS -ne 0 ]; then
  7. eval `ssh-agent`
  8. ssh-add
  9. fi
  10.  
  11. darcs push --no-set ${FAST_MACHINE}:darcs.net
  12.  
  13. # note the -A flag for ssh-agent forwarding (your fast machine will be
  14. # sshing into darcs.net)
  15. ssh -A ${FAST_MACHINE} bin/02-darcs-staging.sh
  16.  
  17. if [ $SSH_AGENT_CHECK_STATUS -ne 0 ]; then
  18. ssh-agent -k
  19. fi
Add Comment
Please, Sign In to add comment