diff options
| author | Jeremy Soller <jackpot51@gmail.com> | 2018-06-12 19:28:08 -0600 |
|---|---|---|
| committer | Jeremy Soller <jackpot51@gmail.com> | 2018-06-12 19:28:08 -0600 |
| commit | bd470cc1160a65e02bb598cf323933ed7f693417 (patch) | |
| tree | 997096b8fcd21c9fe25ee70f2462e7f98a7b6a0c | |
| parent | 2af632aa0f08e0ef836906b694379dd0d1010af1 (diff) | |
Add script for entering docker environment
| -rwxr-xr-x | docker/docker.sh | 5 |
1 files changed, 5 insertions, 0 deletions
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 "$@" |