From 247910581ddc60996b7f21f3c6de93b861cc83d2 Mon Sep 17 00:00:00 2001 From: depgod <23638290+depgod@users.noreply.github.com> Date: Thu, 5 Jun 2025 20:00:38 +0530 Subject: [PATCH] Delete pages/common/devpod.md --- pages/common/devpod.md | 36 ------------------------------------ 1 file changed, 36 deletions(-) delete mode 100644 pages/common/devpod.md diff --git a/pages/common/devpod.md b/pages/common/devpod.md deleted file mode 100644 index 54e2b81556..0000000000 --- a/pages/common/devpod.md +++ /dev/null @@ -1,36 +0,0 @@ -# devpod - -> Launch reproducible development environments using Docker, Kubernetes, or SSH. -> More information: . - -- 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}}`