diff options
| -rwxr-xr-x | tools/create_container | 20 |
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. |