From 89728feedf85d5c386911f5b4a54020688ee71ce Mon Sep 17 00:00:00 2001
From: depgod <23638290+depgod@users.noreply.github.com>
Date: Thu, 5 Jun 2025 20:13:00 +0530
Subject: [PATCH] devpod: add page

---
 pages/common/devpod.md | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 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..54e2b81556
--- /dev/null
+++ b/pages/common/devpod.md
@@ -0,0 +1,36 @@
+# devpod
+
+> Launch reproducible development environments using Docker, Kubernetes, or SSH.
+> More information: <https://devpod.sh/docs/quickstart/devpod-cli/>.
+
+- Install the DevPod CLI on Linux:
+
+`curl -L -o devpod https://github.com/loft-sh/devpod/releases/latest/download/devpod-linux-amd64 && sudo install -m0755 devpod /usr/local/bin`
+
+- 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}}`