diff --git a/docs/developer-env.md b/docs/developer-env.md index dfc49df894..19eccc495b 100644 --- a/docs/developer-env.md +++ b/docs/developer-env.md @@ -233,9 +233,9 @@ To install the Remote Development extension pack on Linux Debian/Ubuntu distribu ## Docker -Containerization enables the creation of self-contained and fully reproducible computational pipelines by bundling a script's binary dependencies into a standardized and portable format. Containers can be executed on any platform that supports a container runtime and ensures consistency across different environments. +Docker is an open-source platform that simplifies application development, deployment, and execution by packaging applications and their dependencies into containers. Containerization enables the creation of self-contained and fully reproducible computational pipelines by bundling a script's binary dependencies into a standardized and portable format. Containers can be executed on any platform that supports a container runtime and ensures consistency across different environments. -Docker is an open-source platform that simplifies application development, deployment, and execution by packaging applications and their dependencies into containers. Docker Desktop provides a Graphical User Interface (GUI) for managing Docker containers. Installing Docker Desktop is a straightforward process that allows you to create, deploy, and manage applications within containers. +Docker Desktop provides a Graphical User Interface (GUI) for managing Docker containers. Installing Docker Desktop is a straightforward process that allows you to create, deploy, and manage applications within containers.