commit 9ca88bb6543c02f0880b6e09ae3757620b5bd2cb
Author: Jay Bosamiya <jaybosamiya@gmail.com>
Date:   Thu Mar 12 17:55:23 2020 -0400

    init

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..6204d5e
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+running_container
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..554b545
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,69 @@
+# Makefile to simplify using docker.  Does a bunch of book-keeping to
+# make life easier by correctly starting and stopping containers.
+#
+# Author: Jay Bosamiya <jaybosamiya AT cmu DOT edu>
+#
+# Usage:
+#
+#   Change the CONTAINER_NAME variable if you want a different one
+#   from the default.
+#
+#   [make]               - Magic "do what I mean" command to run.
+#   [make kill]          - Kill the current container.
+#   [make destroy-image] - Kill the image.
+
+CONTAINER_NAME := viper
+
+# ----------- No need to modify anything below this line ---------
+RUNNING_CONTAINER_NAME := running_container
+
+all: run
+
+run:
+	@if [ -f $(RUNNING_CONTAINER_NAME) ]; then \
+		echo "[DWIM] Re-running container."; \
+		$(MAKE) re-run; \
+	else \
+		echo "[DWIM] Starting new container."; \
+		$(MAKE) first-run; \
+	fi
+
+re-run:
+	@if [ -f $(RUNNING_CONTAINER_NAME) ]; then \
+		docker start -ai $$(cat $(RUNNING_CONTAINER_NAME)); \
+	else \
+		echo "No container to re-run. Run [make first-run] first."; \
+	fi
+
+
+first-run: build
+	@if [ -f $(RUNNING_CONTAINER_NAME) ]; then \
+		echo "Already have a running container. If you wanted to re-run, kill previous one using [make kill]."; \
+	else \
+		echo "temp-`cat /dev/urandom | xxd -p | head -1 | cut -c 1-10`" > $(RUNNING_CONTAINER_NAME); \
+		docker run -it -v "$$(pwd):/connect" --cap-add=SYS_PTRACE --name $$(cat $(RUNNING_CONTAINER_NAME)) $(CONTAINER_NAME) /bin/bash; \
+	fi
+
+kill:
+	@if [ -f $(RUNNING_CONTAINER_NAME) ]; then \
+		docker rm -f $$(cat $(RUNNING_CONTAINER_NAME)); \
+		rm -f $(RUNNING_CONTAINER_NAME); \
+	else \
+		echo "No running container to kill."; \
+	fi
+
+destroy-image: kill
+	@if [ -f $(RUNNING_CONTAINER_NAME) ]; then \
+		echo "There's a running container. Run [make kill] first."; \
+	else \
+		echo -n "Destroying image. Are you sure? You have 10 seconds to stop this (Ctrl-C)."; \
+		for i in $$(seq 1 10); do sleep 1; echo -n '.'; done; \
+		docker rmi $(CONTAINER_NAME); \
+	fi
+
+build:
+	@if [ -f $(RUNNING_CONTAINER_NAME) ]; then \
+		echo "Already have a running container. Run [make kill] first."; \
+	else \
+		docker build -t $(CONTAINER_NAME) .; \
+	fi