Thanks to visit codestin.com
Credit goes to github.com

Skip to content

chore(docs): removes dead navigation options #14864

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Sep 27, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/admin/monitoring/metrics.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
81 changes: 1 addition & 80 deletions docs/manifest.json
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down Expand Up @@ -497,7 +418,7 @@
{
"title": "Troubleshooting",
"description": "Troubleshoot networking issues in Coder",
"path": "./networking/troubleshooting.md"
"path": "./admin/networking/troubleshooting.md"
}
]
},
Expand Down
5 changes: 3 additions & 2 deletions docs/user-guides/workspace-access/jetbrains.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
Loading