about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-01-14 01:31:12 -0800
committerKartik Agaram <vc@akkartik.com>2020-01-14 01:52:54 -0800
commit564ced70fde12a3be98e294482db7d44bc3ff755 (patch)
tree70a335f1e7802fab46b93b98262f4493afa80b0d
parent928f71d2949c2d91d83cb572c166dc655bca79d3 (diff)
downloadmu-564ced70fde12a3be98e294482db7d44bc3ff755.tar.gz
5891
-rwxr-xr-xtools/create_container20
1 files changed, 20 insertions, 0 deletions
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.