joshuafhiggins/connect4-moderator-server
1
0
Fork 0
Code Issues Pull Requests Actions Packages Releases 2 Activity

misc: it finally works

Browse Source
This commit is contained in:
Joshua Higgins
2025-12-27 17:18:52 -05:00
Unverified
parent 70ef0e79e2
commit cdbbfc496c
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
.devcontainer/devcontainer.json
View File

@@ -38,15 +38,15 @@
"url": "cursor://coder.coder-remote/openDevContainer?owner=${localEnv:CODER_WORKSPACE_OWNER_NAME}&workspace=${localEnv:CODER_WORKSPACE_NAME}&agent=${localEnv:CODER_WORKSPACE_PARENT_AGENT_NAME}&url=${localEnv:CODER_URL}&token=$SESSION_TOKEN&devContainerName=${localEnv:CONTAINER_ID}&devContainerFolder=${containerWorkspaceFolder}&localWorkspaceFolder=${localWorkspaceFolder}", "url": "cursor://coder.coder-remote/openDevContainer?owner=${localEnv:CODER_WORKSPACE_OWNER_NAME}&workspace=${localEnv:CODER_WORKSPACE_NAME}&agent=${localEnv:CODER_WORKSPACE_PARENT_AGENT_NAME}&url=${localEnv:CODER_URL}&token=$SESSION_TOKEN&devContainerName=${localEnv:CONTAINER_ID}&devContainerFolder=${containerWorkspaceFolder}&localWorkspaceFolder=${localWorkspaceFolder}",
"external": true, "external": true,
"icon": "/icon/cursor.svg", "icon": "/icon/cursor.svg",
"order": 1 "order": 5
}, },
{ {
"slug": "rustrover", "slug": "rustrover",
"displayName": "RustRover", "displayName": "RustRover",
"url": "jetbrains://gateway?type=ssh&product=RustRover&host=${localEnv:CODER_WORKSPACE_AGENT_NAME}.${localEnv:CODER_WORKSPACE_NAME}.${localEnv:CODER_WORKSPACE_OWNER_NAME}.coder&port=22&username=${localEnv:CODER_WORKSPACE_USERNAME:coder}&projectPath=${containerWorkspaceFolder}", "url": "jetbrains://gateway?type=ssh&product=RustRover&host=${localEnv:CODER_WORKSPACE_AGENT_NAME}.${localEnv:CODER_WORKSPACE_NAME}.${localEnv:CODER_WORKSPACE_OWNER_NAME}.coder&port=22&username=${localEnv:CODER_WORKSPACE_USERNAME:coder}&projectPath=${containerWorkspaceFolder}",
"external": true, "external": true,
"icon": "https://resources.jetbrains.com/storage/products/rustrover/img/meta/rustrover_logo.svg", "icon": "/icon/rustrover.svg",
"order": 2 "order": 4
}, },
{ {
"slug": "zed", "slug": "zed",
@@ -54,7 +54,7 @@
"url": "zed://ssh/${localEnv:CODER_WORKSPACE_AGENT_NAME}.${localEnv:CODER_WORKSPACE_NAME}.${localEnv:CODER_WORKSPACE_OWNER_NAME}.coder${containerWorkspaceFolder}", "url": "zed://ssh/${localEnv:CODER_WORKSPACE_AGENT_NAME}.${localEnv:CODER_WORKSPACE_NAME}.${localEnv:CODER_WORKSPACE_OWNER_NAME}.coder${containerWorkspaceFolder}",
"external": true, "external": true,
"icon": "/icon/zed.svg", "icon": "/icon/zed.svg",
"order": 5 "order": 3
}, },
// Reproduce `code-server` app here from the code-server // Reproduce `code-server` app here from the code-server
// feature so that we can set the correct folder and order. // feature so that we can set the correct folder and order.
@@ -64,12 +64,12 @@
// is not yet set in the feature. // is not yet set in the feature.
{ {
"slug": "code-server", "slug": "code-server",
"displayName": "code-server", "displayName": "VS Code Web",
"url": "http://${localEnv:FEATURE_CODE_SERVER_OPTION_HOST:127.0.0.1}:${localEnv:FEATURE_CODE_SERVER_OPTION_PORT:8080}/?folder=${containerWorkspaceFolder}", "url": "http://${localEnv:FEATURE_CODE_SERVER_OPTION_HOST:127.0.0.1}:${localEnv:FEATURE_CODE_SERVER_OPTION_PORT:8080}/?folder=${containerWorkspaceFolder}",
"openIn": "${localEnv:FEATURE_CODE_SERVER_OPTION_APPOPENIN:slim-window}", "openIn": "${localEnv:FEATURE_CODE_SERVER_OPTION_APPOPENIN:slim-window}",
"share": "${localEnv:FEATURE_CODE_SERVER_OPTION_APPSHARE:owner}", "share": "${localEnv:FEATURE_CODE_SERVER_OPTION_APPSHARE:owner}",
"icon": "/icon/code.svg", "icon": "/icon/code.svg",
"order": 3, "order": 2,
"healthCheck": { "healthCheck": {
"url": "http://${localEnv:FEATURE_CODE_SERVER_OPTION_HOST:127.0.0.1}:${localEnv:FEATURE_CODE_SERVER_OPTION_PORT:8080}/healthz", "url": "http://${localEnv:FEATURE_CODE_SERVER_OPTION_HOST:127.0.0.1}:${localEnv:FEATURE_CODE_SERVER_OPTION_PORT:8080}/healthz",
"interval": 5, "interval": 5,

2
.devcontainer/filebrowser/devcontainer-feature.json
View File

@@ -32,7 +32,7 @@
"displayName": "File Browser", "displayName": "File Browser",
"url": "http://localhost:${localEnv:FEATURE_FILEBROWSER_OPTION_PORT:13339}", "url": "http://localhost:${localEnv:FEATURE_FILEBROWSER_OPTION_PORT:13339}",
"icon": "/icon/filebrowser.svg", "icon": "/icon/filebrowser.svg",
"order": 3, "order": 6,
"subdomain": true, "subdomain": true,
"healthcheck": { "healthcheck": {
"url": "http://localhost:${localEnv:FEATURE_FILEBROWSER_OPTION_PORT:13339}/health", "url": "http://localhost:${localEnv:FEATURE_FILEBROWSER_OPTION_PORT:13339}/health",