jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-21 02:46:50 -05:00
Code Issues Projects Releases Wiki Activity

[2022-11-09 Universe]: JupyterLab support for Codespaces - [GA] (#31767)

Browse Source 
Co-authored-by: github-actions <github-actions@github.com>
This commit is contained in:
hubwriter
2022-11-02 16:04:45 +00:00
committed by GitHub
parent 2f12209cca
commit feac4c738b
12 changed files with 79 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
content/codespaces/customizing-your-codespace/setting-your-default-editor-for-github-codespaces.md
View File

@@ -14,9 +14,10 @@ type: how_to
---
On the settings page, you can set your editor preference so that when you create a codespace, or open an existing codespace, it is opened in your choice of:
* The {% data variables.product.prodname_vscode %} desktop appliction
* The {% data variables.product.prodname_vscode %} web client
* The JetBrains Gateway application
* {% data variables.product.prodname_vscode %} (desktop application)
* {% data variables.product.prodname_vscode %} (web client application)
* JetBrains Gateway - for opening codespaces in a JetBrains IDE
* JupyterLab - the web interface for Project Jupyter
If you want to use {% data variables.product.prodname_vscode %} as your default editor for {% data variables.product.prodname_github_codespaces %}, you need to install {% data variables.product.prodname_vscode %} and the {% data variables.product.prodname_github_codespaces %} extension for {% data variables.product.prodname_vscode %}. For more information, see the [download page for {% data variables.product.prodname_vscode %}](https://code.visualstudio.com/download/) and the [{% data variables.product.prodname_github_codespaces %} extension on the {% data variables.product.prodname_vscode %} marketplace](https://marketplace.visualstudio.com/items?itemName=GitHub.codespaces).
@@ -30,6 +31,8 @@ If you want to work on a codespace in a JetBrains IDE you must install the JetBr
![Setting your editor](/assets/images/help/codespaces/select-default-editor.png)
* {% data reusables.codespaces.application-installed-locally %}<br><br>
* If you choose **{% data variables.product.prodname_vscode %}**, {% data variables.product.prodname_github_codespaces %} will automatically open in the desktop application when you next create or open a codespace.
You may need to allow access to both your browser and {% data variables.product.prodname_vscode %} for it to open successfully.<br><br>
@@ -39,3 +42,7 @@ If you want to work on a codespace in a JetBrains IDE you must install the JetBr
The first time you open a codespace this way you must give permission to open the application.
The Gateway application will open and the codespace will then be automatically selected. You can then choose a JetBrains IDE, if you have not previously done so, and click **Connect** to open the codespace in the JetBrains client. For more information, see "[Using Codespaces in your JetBrains IDE](/codespaces/developing-in-codespaces/using-github-codespaces-in-your-jetbrains-ide)."
To connect to a codespace from the Gateway application, you must have an SSH server running on the codespace. {% indented_data_reference reusables.codespaces.ssh-server-installed spaces=5 %}
* If you choose **JupyterLab**, the JupyterLab application must be installed in the codespaces you open. {% data reusables.codespaces.jupyterlab-in-default-image %}