Rename folder cosm -> wasmd

2020-02-17 15:28:23 +01:00
parent 04ab04375e
commit 28f5cb643f
31 changed files with 0 additions and 0 deletions
@@ -0,0 +1,11 @@
+#!/bin/bash
+set -o errexit -o nounset -o pipefail
+command -v shellcheck > /dev/null && shellcheck "$0"
+
+SCRIPT_DIR="$(realpath "$(dirname "$0")")"
+# shellcheck source=./env
+# shellcheck disable=SC1091
+source "$SCRIPT_DIR"/env
+
+echo "Killing Cosmos container..."
+docker container kill "$CONTAINER_NAME"