Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- LOCAL_REPOS_PATH=$(cd $VAGRANT_PATH/..; pwd)
- REPOS_NAME=$(basename $LOCAL_REPOS_PATH)
- GOROOT=/home/vagrant/go
- GOPATH=/home/vagrant/gocode
- echo LOCAL_REPOS_PATH=$LOCAL_REPOS_PATH
- echo REPOS_NAME=$REPOS_NAME
- if [[ -n "$ZSH_VERSION" ]]; then
- emulate -R ksh
- set -o BSD_ECHO
- fi
- set -ue
- tmpfile=$(mktemp "/tmp/${0##*/}.tmp.LocalTravis")
- atexit() {
- [[ -n ${tmpfile-} ]] && rm -f "$tmpfile"
- }
- trap atexit EXIT
- trap 'trap - EXIT; atexit; exit -1' INT PIPE TERM
- cd ${VAGRANT_PATH}
- # Assume vagrant is already up
- vagrant ssh-config >$tmpfile
- PORT=$(grep 'Port ' $tmpfile | grep -o '[^ ]*$')
- HOST=$(grep 'HostName ' $tmpfile | grep -o '[^ ]*$')
- IDENT=$(grep 'IdentityFile ' $tmpfile | grep -o '[^ ]*$')
- USER=$(grep 'User ' $tmpfile | grep -o '[^ ]*$')
- echo USER=$USER
- echo PORT=$PORT
- echo HOST=$HOST
- echo IDENT=$IDENT
- SSH="ssh -i ${IDENT} -o PasswordAuthentication=no -p ${PORT} -o StrictHostKeyChecking=no"
- rsync -arzv --delete -e "$SSH" $LOCAL_REPOS_PATH ${USER}@${HOST}:
- ssh ${USER}@${HOST} -i ${IDENT} -t \
- -o PasswordAuthentication=no -p ${PORT} \
- -o StrictHostKeyChecking=no \
- "cd ${REPOS_NAME}; sudo DOCKER_API_VERSION=1.18 /home/vagrant/go/bin/loci -b ubuntu:trusty"
- exit
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement