Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- branch=$1
- clean=$2
- repo=git@github.com:Chillee/Spiritual.git
- name=Spiritual
- if [ -z $branch ]; then
- echo "You need to provide a branch name"
- exit -1
- fi
- # clone repository into shared folder
- cd shared
- rm -rf $name
- git clone -b $branch $repo
- cd ..
- if [ $clean = "clean" ]; then
- vagrant destroy -f
- fi
- # turn on virtual machine
- vagrant up
- # pipe commands into vagrant ssh
- vagrant ssh << EOF
- cd ~/shared/$name
- ./xic-build
- EOF
- # turn off virtual machine
- vagrant halt
Add Comment
Please, Sign In to add comment