daily pastebin goal
90%
SHARE
TWEET

Untitled

a guest May 16th, 2018 109 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top