Add script for entering docker environment

2018-06-12 19:28:08 -06:00 · 2018-06-12 19:28:08 -06:00 · bd470cc116
parent 2af632aa0f
commit bd470cc116
1 changed files with 5 additions and 0 deletions
--- a/docker/docker.sh
+++ 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 "$@"