diff --git a/pages/common/devpod.md b/pages/common/devpod.md new file mode 100644 index 0000000000..f953080239 --- /dev/null +++ b/pages/common/devpod.md @@ -0,0 +1,32 @@ +# devpod + +> Launch reproducible development environments using Docker, Kubernetes, or SSH. +> More information: . + +- Add a provider such as Docker or Kubernetes: + +`devpod provider add {{provider_name}}` + +- List all available providers: + +`devpod provider list-available` + +- Start a workspace from a GitHub repository with a specific IDE: + +`devpod up {{github.com/user/repo}} {{[-i|--ide]}} {{vscode}}` + +- Start a workspace from a local directory: + +`devpod up {{path/to/project}}` + +- Recreate an existing workspace: + +`devpod up {{workspace_name}} {{[-r|--recreate]}}` + +- Reset a workspace to a clean state: + +`devpod up {{workspace_name}} {{[-x|--reset]}}` + +- Add a custom provider from a GitHub repository: + +`devpod provider add {{org/provider-repo}}`