#!/bin/bash if [ -x /srv/pandora ]; then sudo -H -u vagrant /srv/pandora/update.py dev else apt-get update -qq apt-get install -y curl >/dev/null 2>&1 curl -L https://pan.do/ra-install > /vagrant/pandora_install.sh echo "Installing pan.do/ra..." echo "logging installation progress into pandora_install.log" export PANDORA=vagrant /vagrant/pandora_install.sh >/vagrant/pandora_install.log 2>&1 rm /vagrant/pandora_install.sh fi