From 2cc32476ba56e2854e31a4e321dd41a65a99c741 Mon Sep 17 00:00:00 2001 From: Austin Nazworth <98629900+anazworth@users.noreply.github.com> Date: Sat, 23 Sep 2023 09:08:42 -0400 Subject: [PATCH] devcontainer: add page (#10740) * devcontainer: add page --------- Co-authored-by: Lena <126529524+acuteenvy@users.noreply.github.com> --- pages/common/devcontainer.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 pages/common/devcontainer.md diff --git a/pages/common/devcontainer.md b/pages/common/devcontainer.md new file mode 100644 index 000000000..9ae5ad125 --- /dev/null +++ b/pages/common/devcontainer.md @@ -0,0 +1,28 @@ +# devcontainer + +> Use a Docker container as a development environment. +> More information: . + +- Create and run a Dev Container: + +`devcontainer up` + +- Apply a Dev Container Template to a workspace: + +`devcontainer templates apply --template-id {{template_id}} --template-args {{template_args}} --workspace-folder {{path/to/workspace}}` + +- Execute a command on a running Dev Container in the current workspace: + +`devcontainer exec {{command}}` + +- Build a Dev Container image from `devcontainer.json`: + +`devcontainer build {{path/to/workspace}}` + +- Open a Dev Container in VS Code (the path is optional): + +`devcontainer open {{path/to/workspace}}` + +- Read and print the configuration of a Dev Container from `devcontainer.json`: + +`devcontainer read-configuration`