mirror of
https://github.com/tweag/asterius.git
synced 2024-09-11 08:55:32 +03:00
Apply suggestions from @gkaracha
Co-authored-by: George Karachalias <gdkaracha@gmail.com>
This commit is contained in:
parent
038147fbaa
commit
193e50add9
@ -168,6 +168,7 @@ with your user and doesn't mess up local file permissions:
|
||||
$ docker build --build-arg UID=$(id -u) --file dev.rootless.Dockerfile --tag my_dev_image .
|
||||
```
|
||||
|
||||
Building the image can take around 10min.
|
||||
After `my_dev_image` is built, a dev container can be started:
|
||||
|
||||
```sh
|
||||
|
Loading…
Reference in New Issue
Block a user