Skip to content
Snippets Groups Projects
Commit b77b69f8 authored by Nick Bastin's avatar Nick Bastin
Browse files

Update vagrantfile for optional keys

parent 6adc3d65
Branches 20160106-vagrant
No related merge requests found
......@@ -20,8 +20,17 @@ Vagrant.configure(2) do |config|
sudo python setup.py install
if [ -f /vagrant/omni.bundle ]
then
echo "/vagrant/omni.bundle exists. Configuring geni-lib."
sudo -u vagrant /usr/local/bin/context-from-bundle --bundle /vagrant/omni.bundle
echo "/vagrant/omni.bundle exists. Configuring geni-lib."
PARMS=(--bundle /vagrant/omni.bundle)
if [ -f /vagrant/cert.key ]
then
PARMS+=(--cert-private-key /vagrant/cert.key)
fi
if [ -f /vagrant/ssh.pubkey ]
then
PARMS+=(--pubkey /vagrant/ssh.pubkey)
fi
sudo -u vagrant /usr/local/bin/context-from-bundle "${PARMS[@]}"
fi
mkdir -p ~/notebooks
mkdir -p ~/.ipython/extensions
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment