docs: update dev docker instructions for generic editors

This commit is contained in:
Nicolas Giard 2022-07-15 13:46:58 -04:00 committed by GitHub
parent 9b1669c93d
commit 14527b0ec2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -84,8 +84,10 @@ You can also open the datatracker project folder and click the **Reopen in conta
```sh
cd docker
run
./run
```
> Note that you can pass the `-r` flag to `./run` to force a rebuild of the containers. This is useful if you switched branches and that the existing containers still contain configurations from the old branch.
On Windows *(using Powershell)*:
```sh