From d276381577804527ededf3aecf9ce5da8ba438bb Mon Sep 17 00:00:00 2001 From: Nikolaj Frey Date: Thu, 13 Aug 2020 17:06:44 +1000 Subject: [PATCH] Added a restart dev script which destroys then starts dev --- scripts/restart-dev | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 scripts/restart-dev diff --git a/scripts/restart-dev b/scripts/restart-dev new file mode 100644 index 00000000..b8e5ec84 --- /dev/null +++ b/scripts/restart-dev @@ -0,0 +1,7 @@ +DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" +. "$DIR/.common.sh" + +cd "${DIR}/.." + +. scripts/destroy-dev +. scripts/start-dev \ No newline at end of file