diff options
| author | Lectrician1 <jayandseth@gmail.com> | 2022-11-16 15:34:11 +0000 |
|---|---|---|
| committer | Lectrician1 <jayandseth@gmail.com> | 2022-11-16 15:37:08 +0000 |
| commit | 841c07fd879a7986892d557ae73d543fa19bf8bb (patch) | |
| tree | 4b40a7c796fe739c8be8472c0f75bc3b53c924dd /DEVELOPERS.md | |
| parent | 3482ce559c40c85093e23bf7e3a95cb0eda09ad9 (diff) | |
| download | mediawikicore-841c07fd879a7986892d557ae73d543fa19bf8bb.tar.gz mediawikicore-841c07fd879a7986892d557ae73d543fa19bf8bb.zip | |
Tell Windows users not to add user and group ID to .env
DEVELOPERS.md states that the user should run a command to add their
user and group id to the .env file when setting up a Docker environment.
The command does not work or is required in Windows.
Change-Id: I4ff8806fcccd925ff7a3945ac605bb5c854dbbee
Diffstat (limited to 'DEVELOPERS.md')
| -rw-r--r-- | DEVELOPERS.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DEVELOPERS.md b/DEVELOPERS.md index fb59cff4f64e..bfc30410f4d8 100644 --- a/DEVELOPERS.md +++ b/DEVELOPERS.md @@ -57,7 +57,7 @@ XDEBUG_ENABLE=true XHPROF_ENABLE=true ``` -Next, run the following command to add your user ID and group ID to your `.env` file: +Non-Windows users: Next, run the following command to add your user ID and group ID to your `.env` file: ```sh echo "MW_DOCKER_UID=$(id -u) |