Skip to content

docs: add VS Code Web to web-ides #9591

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.

Sign up for GitHub

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 5 commits into from
Sep 10, 2023
Merged

docs: add VS Code Web to web-ides #9591

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
be074b3
docs: add VS Code Web to web-ides.md
matifali Sep 7, 2023
228fe48
make gmt
matifali Sep 7, 2023
577d11d
fix version to 1.82.0
matifali Sep 10, 2023
b2dded2
Merge branch 'main' into vscode-web-docs
matifali Sep 10, 2023
939d75f
fmt
matifali Sep 10, 2023
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
Prev Previous commit
Next Next commit
fix version to 1.82.0
  • Loading branch information
@matifali
matifali authored Sep 10, 2023
commit 577d11dab9b715263f5815ecdbcea105f202ddb8
4 changes: 3 additions & 1 deletion docs/ides/web-ides.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -117,13 +117,15 @@ resource "coder_agent" "main" {
startup_script = <<EOF
#!/bin/sh
# install VS Code
curl -L "https://update.code.visualstudio.com/latest/linux-deb-x64/stable" -o /tmp/code.deb
curl -L "https://update.code.visualstudio.com/1.82.0/linux-deb-x64/stable" -o /tmp/code.deb
sudo dpkg -i /tmp/code.deb && sudo apt-get install -f -y
# start the web server on a specific port
code serve-web --port 13338 --without-connection-token --accept-server-license-terms >/tmp/vscode-web.log 2>&1 &
EOF
}
```
> [!NOTE]
> `code serve-web` was introduced in version 1.82.0 (August 2023).

You also need to add a `coder_app` resource for this,

Expand Down