From 30406c5fb08ee0a3155c770d92b3877ab805085c Mon Sep 17 00:00:00 2001 From: Stephen Kirby Date: Fri, 27 Sep 2024 18:17:23 +0000 Subject: [PATCH 1/4] removed dead top-level docs navigation options --- docs/manifest.json | 79 ---------------------------------------------- 1 file changed, 79 deletions(-) diff --git a/docs/manifest.json b/docs/manifest.json index aa98cba1bb633..eb17bd35b2518 100644 --- a/docs/manifest.json +++ b/docs/manifest.json @@ -138,85 +138,6 @@ } ] }, - { - "title": "Workspaces", - "description": "Learn about Coder workspaces.", - "path": "./workspaces.md", - "icon_path": "./images/icons/layers.svg" - }, - { - "title": "IDEs", - "description": "Learn how to use your IDE of choice with Coder", - "path": "./ides.md", - "icon_path": "./images/icons/code.svg", - "children": [ - { - "title": "Web IDEs", - "description": "Learn how to configure web IDEs in your templates", - "path": "./ides/web-ides.md" - }, - { - "title": "JetBrains Gateway", - "description": "Learn how to configure JetBrains Gateway for your workspaces", - "path": "./ides/gateway.md" - }, - { - "title": "JetBrains Fleet", - "description": "Learn how to configure JetBrains Fleet for your workspaces", - "path": "./ides/fleet.md" - }, - { - "title": "Emacs", - "description": "Learn how to configure Emacs with TRAMP in Coder", - "path": "./ides/emacs-tramp.md" - }, - { - "title": "Remote Desktops", - "description": "Learn how to use Remote Desktops with Coder", - "path": "./ides/remote-desktops.md" - }, - { - "title": "VSCode Extensions", - "description": "Learn how to use extensions in VSCode with Coder", - "path": "./ides/vscode-extensions.md" - } - ] - }, - { - "title": "Networking", - "description": "Learn about networking in Coder", - "path": "./networking/index.md", - "icon_path": "./images/icons/networking.svg", - "children": [ - { - "title": "Port Forwarding", - "description": "Learn how to forward ports in Coder", - "path": "./networking/port-forwarding.md" - }, - { - "title": "STUN and NAT", - "description": "Learn how Coder establishes direct connections", - "path": "./networking/stun.md" - }, - { - "title": "Troubleshooting", - "description": "Troubleshoot networking issues in Coder", - "path": "./networking/troubleshooting.md" - } - ] - }, - { - "title": "Dotfiles", - "description": "Learn how to personalize your workspace", - "path": "./dotfiles.md", - "icon_path": "./images/icons/art-pad.svg" - }, - { - "title": "Secrets", - "description": "Learn how to use secrets in your workspace", - "path": "./secrets.md", - "icon_path": "./images/icons/secrets.svg" - }, { "title": "Administration", "description": "Guides for template and deployment administrators", From 53815242f3392665b07984932f3b51ec373b9400 Mon Sep 17 00:00:00 2001 From: Stephen Kirby Date: Fri, 27 Sep 2024 18:25:06 +0000 Subject: [PATCH 2/4] make fmt --- docs/user-guides/workspace-access/jetbrains.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/user-guides/workspace-access/jetbrains.md b/docs/user-guides/workspace-access/jetbrains.md index 5f718543b9e09..d8f40774c100b 100644 --- a/docs/user-guides/workspace-access/jetbrains.md +++ b/docs/user-guides/workspace-access/jetbrains.md @@ -16,8 +16,9 @@ IDEs are supported for remote development: ## JetBrains Gateway JetBrains Gateway is a compact desktop app that allows you to work remotely with -a JetBrains IDE without even downloading one. -Visit the [JetBrains website](https://www.jetbrains.com/remote-development/gateway/) to learn more about Gateway.] +a JetBrains IDE without even downloading one. Visit the +[JetBrains website](https://www.jetbrains.com/remote-development/gateway/) to +learn more about Gateway.] Gateway can connect to a Coder workspace by using Coder's Gateway plugin or manually setting up an SSH connection. From 3b8ed10513b2eed1e47dc2a03c9f61cd85b2893a Mon Sep 17 00:00:00 2001 From: Stephen Kirby Date: Fri, 27 Sep 2024 18:31:21 +0000 Subject: [PATCH 3/4] metrics doc typo --- docs/admin/monitoring/metrics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/admin/monitoring/metrics.md b/docs/admin/monitoring/metrics.md index d2740826b9f05..167aa2237159b 100644 --- a/docs/admin/monitoring/metrics.md +++ b/docs/admin/monitoring/metrics.md @@ -8,7 +8,7 @@ If you don't have an Prometheus server installed, you can follow the Prometheus [Getting started](https://prometheus.io/docs/prometheus/latest/getting_started/) guide. -### Seting up metrics +### Setting up metrics To set up metrics monitoring, please read our [Prometheus integration guide](../integrations/prometheus.md). The following From d162c1b3506bad7d809a2fa76f27816e919a5854 Mon Sep 17 00:00:00 2001 From: EdwardAngert <17991901+EdwardAngert@users.noreply.github.com> Date: Fri, 27 Sep 2024 19:58:31 +0000 Subject: [PATCH 4/4] fix networking link --- docs/manifest.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/manifest.json b/docs/manifest.json index eb17bd35b2518..a169a4a516e64 100644 --- a/docs/manifest.json +++ b/docs/manifest.json @@ -418,7 +418,7 @@ { "title": "Troubleshooting", "description": "Troubleshoot networking issues in Coder", - "path": "./networking/troubleshooting.md" + "path": "./admin/networking/troubleshooting.md" } ] },