From 5ea5df1cc99ea128fd2673d2259983126aa85eb4 Mon Sep 17 00:00:00 2001 From: depgod <23638290+depgod@users.noreply.github.com> Date: Tue, 10 Jun 2025 15:50:33 +0530 Subject: [PATCH] devpod: add page (#16774) Co-authored-by: Managor <42655600+Managor@users.noreply.github.com> Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> --- pages/common/devpod.md | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 pages/common/devpod.md 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}}`