Editing
VSCode
(section)
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
=== Alternative: VSCode Tunnel === The tunnel feature of VSCode CLI allows you to avoid setting up proxy jump with SSH Config, since the VSCode server talks directly to vscode.dev. Vscode.dev will then host an instance which can be accessed with a browser (even on your phone). Pros: Easy to set up. Cons: Occasional performance issues due to network bandwidth. ==== Prerequisite ==== Download VSCode server for Linux x64. You can get a copy at `/data/tir/projects/tir6/general/vscode_server`. ==== Steps ==== # Launch a job with command `./code tunnel --accept-server-license-terms`. Ensure that you request sufficient memory and cores. # Wait for you job to be launched and the stdout should contain a url (starting with `vscode.dev`) and optionally an authentication method. '''Sample stdout'''<syntaxhighlight lang="text" line="1"> *^M * Visual Studio Code Server^M *^M * By using the software, you agree to^M * the Visual Studio Code Server License Terms (https://aka.ms/vscode-server-license) and^M * the Microsoft Privacy Statement (https://privacy.microsoft.com/en-US/privacystatement).^M * [2024-03-05 11:51:03] info Creating tunnel with the name: tir-1-32 Open this link in your browser https://vscode.dev/tunnel/tir-1-32/home/user To grant access to the server, please log into https://github.com/login/device and use code AB04-0E14 </syntaxhighlight>
Summary:
Please note that all contributions to CMU -- Language Technologies Institute -- HPC Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
Project:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
Edit source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Special pages
Tools
What links here
Related changes
Page information