Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

docs: use CODER_LOG_FILTER instead of CODER_VERBOSE#19105

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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
EdwardAngert merged 4 commits intomainfrom18833-coder-log-filter
Jul 30, 2025
Merged
Show file tree
Hide file tree
Changes fromall 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 deletiondocs/admin/monitoring/notifications/index.md
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -282,7 +282,7 @@ troubleshoot:
1. Review the logs. Search for the term `notifications` for diagnostic information.

- If you do not see any relevant logs, set
`CODER_VERBOSE=true` or `--verbose`tooutput debug logs.
`CODER_LOG_FILTER=".*notifications.*"`tofilter for notification-related logs.
1. If you are on version 2.15.x, notifications must be enabled using the
`notifications`
[experiment](../../../install/releases/feature-stages.md#early-access-features).
Expand Down
3 changes: 1 addition & 2 deletionsdocs/admin/users/idp-sync.md
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -203,7 +203,7 @@ Visit the Coder UI to confirm these changes:
### Group allowlist

You can limit which groups from your identity provider can log in to Coder with
[CODER_OIDC_ALLOWED_GROUPS](https://coder.com/docs/cli/server#--oidc-allowed-groups).
[CODER_OIDC_ALLOWED_GROUPS](../../reference/cli/server.md#--oidc-allowed-groups).
Users who are not in a matching group will see the following error:

<Image height="412px" src="../../images/admin/group-allowlist.png" alt="Unauthorized group error" align="center" />
Expand DownExpand Up@@ -419,7 +419,6 @@ If you are running into issues with a sync:
1. To reduce noise, you can filter for only logs related to group/role sync:

```sh
CODER_VERBOSE=true
CODER_LOG_FILTER=".*userauth.*|.*groups returned.*"
```

Expand Down
2 changes: 1 addition & 1 deletiondocs/admin/users/oidc-auth/index.md
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -27,7 +27,7 @@ claims from the ID token and the claims obtained from hitting the upstream
provider's `userinfo` endpoint, and use the resulting data as a basis for
creating a new user or looking up an existing user.

To troubleshoot claims, set `CODER_VERBOSE=true` and follow the logs while
To troubleshoot claims, set `CODER_LOG_FILTER=".*got oidc claims.*"` and follow the logs while
signing in via OIDC as a new user. Coder will log the claim fields returned by
the upstream identity provider in a message containing the string
`got oidc claims`, as well as the user info returned.
Expand Down
5 changes: 5 additions & 0 deletionsdocs/manifest.json
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -251,6 +251,11 @@
"description": "Access your workspace with IDEs in the browser",
"path": "./user-guides/workspace-access/web-ides.md"
},
{
"title": "code-server",
"description": "Access your workspace with code-server",
"path": "./user-guides/workspace-access/code-server.md"
},
{
"title": "Zed",
"description": "Access your workspace with Zed",
Expand Down
29 changes: 29 additions & 0 deletionsdocs/user-guides/workspace-access/code-server.md
View file
Open in desktop
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
# code-server

[code-server](https://github.com/coder/code-server) is our supported method of running VS Code in the web browser.

![code-server in a workspace](../../images/code-server-ide.png)

## Differences between code-server and VS Code Web

Some of the key differences between code-server and VS Code Web are:

| Feature | code-server | VS Code Web |
|--------------------------|-----------------------------------------------------------------------------|-------------------------------------------------------------------|
| Authentication | Optional login form | No built-in auth |
| Built-in proxy | Includes development proxy (not needed with Coder) | No built-in development proxy |
| Clipboard integration | Supports piping text from terminal (similar to `xclip`) | More limited |
| Display languages | Supports language pack extensions | Limited language support |
| File operations | Options to disable downloads and uploads | No built-in restrictions |
| Health endpoint | Provides `/healthz` endpoint | Limited health monitoring |
| Marketplace | Open VSX by default, configurable via flags/env vars | Uses Microsoft marketplace; modify `product.json` to use your own |
| Path-based routing | Has fixes for state collisions when used path-based | May have issues with path-based routing in certain configurations |
| Proposed API | Always enabled for all extensions | Only Microsoft extensions without configuration |
| Proxy integration | Integrates with Coder's proxy for ports panel | Integration is more limited |
| Sourcemaps | Loads locally | Uses CDN |
| Telemetry | Configurable endpoint | Does not allow a configurable endpoint |
| Terminal access to files | You can use a terminal outside of the integrated one to interact with files | Limited to integrated terminal access |
| User settings | Stored on remote disk | Stored in browser |
| Web views | Self-contained | Uses Microsoft CDN |

For more information about code-server, visit the [code-server FAQ](https://coder.com/docs/code-server/FAQ).
9 changes: 5 additions & 4 deletionsdocs/user-guides/workspace-access/index.md
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -78,12 +78,12 @@ Your workspace is now accessible via `ssh coder.<workspace_name>`
## Visual Studio Code

You can develop in your Coder workspace remotely with
[VSCode](https://code.visualstudio.com/download). We support connecting with the
desktop client andVSCode in the browser with [code-server](#code-server).
[VS Code](https://code.visualstudio.com/download).
We support connecting with thedesktop client andVS Code in the browser with [code-server](#code-server).

![Demo](https://github.com/coder/vscode-coder/raw/main/demo.gif?raw=true)

Read more details on [usingVSCode in your workspace](./vscode.md).
Read more details on [usingVS Code in your workspace](./vscode.md).

## Cursor

Expand DownExpand Up@@ -118,7 +118,8 @@ on connecting your JetBrains IDEs.
## code-server

[code-server](https://github.com/coder/code-server) is our supported method of
running VS Code in the web browser. You can read more in our
running VS Code in the web browser.
Learn more about [what makes code-server different from VS Code web](./code-server.md) or visit the
[documentation for code-server](https://coder.com/docs/code-server/latest).

![code-server in a workspace](../../images/code-server-ide.png)
Expand Down
Loading
[8]ページ先頭
©2009-2025 Movatter.jp