From 47fecd77a67ac25456f5abb488c632805454925e Mon Sep 17 00:00:00 2001 From: Samuel K Date: Sat, 18 Apr 2026 20:49:57 -0500 Subject: [PATCH] fix(docs): rename missed devpod doc files and fix broken anchor links Three doc files were not renamed during the rebrand, causing the Docusaurus build to fail with mismatched sidebar IDs. Also fixes broken anchor references to a renamed heading. --- docs/pages/developing-in-workspaces/create-a-workspace.mdx | 2 +- docs/pages/getting-started/quickstart-devpod-cli.mdx | 2 +- docs/pages/licenses/{devpod.mdx => devsy.mdx} | 0 docs/pages/quickstart/{devpod-cli.mdx => devsy-cli.mdx} | 2 +- docs/pages/{what-is-devpod.mdx => what-is-devsy.mdx} | 0 5 files changed, 3 insertions(+), 3 deletions(-) rename docs/pages/licenses/{devpod.mdx => devsy.mdx} (100%) rename docs/pages/quickstart/{devpod-cli.mdx => devsy-cli.mdx} (94%) rename docs/pages/{what-is-devpod.mdx => what-is-devsy.mdx} (100%) diff --git a/docs/pages/developing-in-workspaces/create-a-workspace.mdx b/docs/pages/developing-in-workspaces/create-a-workspace.mdx index 4d5660e68..336710745 100644 --- a/docs/pages/developing-in-workspaces/create-a-workspace.mdx +++ b/docs/pages/developing-in-workspaces/create-a-workspace.mdx @@ -44,7 +44,7 @@ For example: setting `devsy-home=/mnt/c/Users/MyUser/` will result in a workspac ### Via Devsy CLI -Make sure to [install the Devsy CLI locally](../getting-started/install.mdx#optional-install-devsy-cli) and select a provider you would like to host the workspace on (such as local docker) via: +Make sure to [install the Devsy CLI locally](../getting-started/install.mdx#install-devsy-cli) and select a provider you would like to host the workspace on (such as local docker) via: ``` # Add a provider if you haven't already devsy provider add docker diff --git a/docs/pages/getting-started/quickstart-devpod-cli.mdx b/docs/pages/getting-started/quickstart-devpod-cli.mdx index fc1afb0c0..eda4b8c7b 100644 --- a/docs/pages/getting-started/quickstart-devpod-cli.mdx +++ b/docs/pages/getting-started/quickstart-devpod-cli.mdx @@ -7,7 +7,7 @@ import AddProvider from '../fragments/add-provider.mdx' ## Quickstart with Devsy CLI -Make sure you have installed [Devsy CLI](./install.mdx#optional-install-devsy-cli) on your system. +Make sure you have installed [Devsy CLI](./install.mdx#install-devsy-cli) on your system. ### Add a Provider diff --git a/docs/pages/licenses/devpod.mdx b/docs/pages/licenses/devsy.mdx similarity index 100% rename from docs/pages/licenses/devpod.mdx rename to docs/pages/licenses/devsy.mdx diff --git a/docs/pages/quickstart/devpod-cli.mdx b/docs/pages/quickstart/devsy-cli.mdx similarity index 94% rename from docs/pages/quickstart/devpod-cli.mdx rename to docs/pages/quickstart/devsy-cli.mdx index 0fa1373c1..80c321797 100644 --- a/docs/pages/quickstart/devpod-cli.mdx +++ b/docs/pages/quickstart/devsy-cli.mdx @@ -7,7 +7,7 @@ import AddProvider from '../fragments/add-provider.mdx' ## Quickstart with Devsy CLI -Make sure you have installed [Devsy CLI](../getting-started/install.mdx#optional-install-devsy-cli) on your system. +Make sure you have installed [Devsy CLI](../getting-started/install.mdx#install-devsy-cli) on your system. ### Add a Provider diff --git a/docs/pages/what-is-devpod.mdx b/docs/pages/what-is-devsy.mdx similarity index 100% rename from docs/pages/what-is-devpod.mdx rename to docs/pages/what-is-devsy.mdx