docker
/
docs
mirror of https://github.com/docker/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update _index.md (#18368) 

spelling error fixed
This commit is contained in:
Nils Stjernstrid 2023-10-05 14:41:05 +02:00 committed by GitHub
parent 5feff7c5d0
commit 128cbb8545
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
content/desktop/dev-environments/_index.md
View File

@ -15,7 +15,7 @@ Dev Environments let you create a configurable developer environment with all th
It uses tools built into code editors that allows Docker to access code mounted into a container rather than on your local host. This isolates the tools, files and running services on your machine allowing multiple versions of them to exist side by side.
You can use Dev Environments through the intuitive GUI in Docker Dashboard or straight from you terminal with the new [`docker dev` CLI plugin](dev-cli.md).
You can use Dev Environments through the intuitive GUI in Docker Dashboard or straight from your terminal with the new [`docker dev` CLI plugin](dev-cli.md).
![Dev environments tab in Docker Desktop](../images/dev-env.PNG)
@ -36,4 +36,4 @@ You can also use the many [sample dev environments](https://github.com/docker/aw
Learn how to:
- [Launch a dev environment](create-dev-env.md)
- [Set up a dev environment](set-up.md)
- [Distribute your dev environment](share.md)
- [Distribute your dev environment](share.md)