2024-07-09 14:58:07 +02:00
|
|
|
# This script run the Docker image of Redox
|
|
|
|
|
|
2018-12-02 05:11:25 +01:00
|
|
|
docker run --privileged --cap-add MKNOD --cap-add SYS_ADMIN --device /dev/fuse \
|
2018-06-13 03:28:08 +02:00
|
|
|
-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 "$@"
|
