From 564ced70fde12a3be98e294482db7d44bc3ff755 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Tue, 14 Jan 2020 01:31:12 -0800
Subject: 5891

---
 tools/create_container | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 tools/create_container

diff --git a/tools/create_container b/tools/create_container
new file mode 100755
index 00000000..0ab9195e
--- /dev/null
+++ b/tools/create_container
@@ -0,0 +1,20 @@
+#!/bin/sh
+# Start a Linux container containing the mu/ directory.
+# Useful on non-Linux platforms.
+# Run it from the top-level mu/ directory.
+
+docker run -it --name mu -v `pwd`:/mu abyssos/abyss:dev
+
+# On the first startup, you'll need to run the following commands:
+#   apk add git nano libcxx-dev
+#   cd /mu
+
+# Leaving this container will stop it.
+# Restart it with:
+#   docker start mu
+#
+# Now you can connect to it anytime with:
+#   docker exec -it mu sh
+#   cd /mu
+#
+# Quite slow, though. Docker has to run a VM on other platforms.
-- 
cgit 1.4.1-2-gfad0