diff options
| author | Shuhao Wu <shuhao@shuhaowu.com> | 2021-02-02 23:21:18 (GMT) |
|---|---|---|
| committer | Daniel Thompson <daniel@redfelineninja.org.uk> | 2021-02-20 08:44:22 (GMT) |
| commit | 268f8c06e9058338fe7a56051757efb3ddc19e33 (patch) | |
| tree | fbc5dcfea52b62a4f3841a1cb66978b6cc5da33a /tools/docker/shell | |
| parent | 090ed8489ba830879a8dfa094a05fc178020fa4f (diff) | |
Added Docker setup to build wasp-os.
This should make it a bit easier for people to contribute. Also fixed
the documentations on how to setup on Debian, as certain recommended
packages don't exist.
Signed-off-by: Shuhao Wu <shuhao@shuhaowu.com>
Diffstat (limited to 'tools/docker/shell')
| -rwxr-xr-x | tools/docker/shell | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/docker/shell b/tools/docker/shell new file mode 100755 index 0000000..01561b1 --- /dev/null +++ b/tools/docker/shell @@ -0,0 +1,15 @@ +#!/bin/bash + +docker build --build-arg uid=$UID --build-arg gid=$(id -g) -t wasp-os-dev ./tools/docker + +docker run \ + -v /tmp/.X11-unix:/tmp/.X11-unix:rw \ + -v $(pwd):/home/user/wasp-os \ + -u user \ + -e DISPLAY \ + --init \ + --device /dev/dri \ + -it \ + --rm \ + wasp-os-dev \ + bash -l |