Added a restart dev script which destroys then starts dev

This commit is contained in:
Nikolaj Frey 2020-08-13 17:06:44 +10:00 committed by Jamie Curnow
parent b243324c65
commit f61ab55b52

7
scripts/restart-dev Normal file
View File

@ -0,0 +1,7 @@
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
. "$DIR/.common.sh"
cd "${DIR}/.."
. scripts/destroy-dev
. scripts/start-dev