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 "$@"