From bd470cc1160a65e02bb598cf323933ed7f693417 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Tue, 12 Jun 2018 19:28:08 -0600
Subject: [PATCH] Add script for entering docker environment

---
 docker/docker.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 docker/docker.sh

diff --git a/docker/docker.sh b/docker/docker.sh
new file mode 100755
index 0000000..afd1b7a
--- /dev/null
+++ b/docker/docker.sh
@@ -0,0 +1,5 @@
+docker run --cap-add MKNOD --cap-add SYS_ADMIN --device /dev/fuse \
+    -e LOCAL_UID="$(id -u)" -e LOCAL_GID="$(id -g)" \
+    -v redox-"$(id -u)-$(id -g)"-cargo:/usr/local/cargo \
+    -v redox-"$(id -u)-$(id -g)"-rustup:/usr/local/rustup \
+    -v "$(pwd):$(pwd)" -w "$(pwd)" --rm -it redoxos/redox "$@"