From f61ab55b52b259ee8b740bd84d3cb3e2961b0d91 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