view deploy/vagrant/start.sh @ 1599:aea6f97ff27f dockerise

Fix hggit extension name for more recent versions
author Chris Cannam
date Wed, 23 Aug 2017 11:32:31 +0100
parents 83412a0a2389
children
line wrap: on
line source
#!/bin/bash

mydir=$(dirname "$0")
. "$mydir"/../any/prepare.sh

cd "$managerdir"
vagrant up