From c37fe719e407fd7b067ae6f64a94272f5df4b58f Mon Sep 17 00:00:00 2001 From: Luke Childs Date: Fri, 10 Jul 2020 13:31:01 +0700 Subject: [PATCH] Add umbrel-dev script --- umbrel-dev | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100755 umbrel-dev diff --git a/umbrel-dev b/umbrel-dev new file mode 100755 index 0000000..f96e47a --- /dev/null +++ b/umbrel-dev @@ -0,0 +1,28 @@ +#!/usr/bin/env bash +set -euo pipefail + +show_help() { + cat << EOF +umbrel-dev 0.0.0 + +Automatically initialize and manage an Umbrel development environment. + +Usage: umbrel-dev [options] + +Commands: + help Show this help message + init Initialize an Umbrel development environment in the working directory + up Boot the development VM + halt Halt the development VM + destroy Destroy the development VM + rebuild [] Rebuild all or a specific container + ssh Get an SSH session inside the development VM + run Run a command inside the development VM +EOF +} + +# Show help text if no args set or help is called +if [[ -z ${1+x} ]] || [[ "$1" = "help" ]]; then + show_help + exit 1 +fi