jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-19 18:10:59 -05:00
Code Issues Projects Releases Wiki Activity

Fix trailing spaces in content and data (#37904)

Browse Source
This commit is contained in:
Grace Park
2023-06-23 10:45:10 -07:00
committed by GitHub
parent 07dcb8c294
commit cbda3f2434
369 changed files with 642 additions and 641 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
content/codespaces/customizing-your-codespace/changing-the-shell-in-a-codespace.md
View File

@@ -66,7 +66,7 @@ If the shell you install isn't detected automatically, you can add a new termina
## Setting the default shell in {% data variables.product.prodname_vscode_shortname %}
You can set a default terminal profile to choose the default shell used for all new terminal windows you open in {% data variables.product.prodname_vscode_shortname %}. The default terminal profile is dependent on your operating system, so you can set a default profile for Linux, if you're using the {% data variables.product.prodname_vscode_shortname %} web client, or for your local operating system, if you're using the desktop application.
You can set a default terminal profile to choose the default shell used for all new terminal windows you open in {% data variables.product.prodname_vscode_shortname %}. The default terminal profile is dependent on your operating system, so you can set a default profile for Linux, if you're using the {% data variables.product.prodname_vscode_shortname %} web client, or for your local operating system, if you're using the desktop application.
{% note %}
@@ -116,7 +116,7 @@ sudo chsh "$(id -un)" --shell "/usr/bin/csh"
**Note**: If you create a new codespace (for example by using `gh codespace create`), you must wait sufficient time to ensure the script has finished running before you connect to the codespace over SSH. If the script hasn't finished running, you will connect to a default `bash` session.
{% endnote %}
{% endnote %}
When you have connected to the codespace, for most shells, you can use the command `readlink /proc/$$/exe` to check the correct shell is running.
@@ -132,7 +132,7 @@ Generally, you should use a dotfiles repository to configure shells with your pr
The `fish` shell includes a web-based configuration interface. You can use the `fish_config` command to start a local web server and launch this interface, then do things like change the terminal prompt or view your environment variables.
You can use the web-based interface for `fish` in a codespace. However,
You can use the web-based interface for `fish` in a codespace. However,
the color settings in {% data variables.product.prodname_vscode_shortname %}'s integrated terminal depend on your chosen {% data variables.product.prodname_vscode_shortname %} theme, and you cannot override these settings by setting a new theme in the `fish_config` interface.
When `fish` starts the local server, the default link that {% data variables.product.prodname_github_codespaces %} provides to the forwarded port does not work. For example, if you click **Open in Browser** on the popup message, you will be taken to an error page.

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

@@ -41,10 +41,12 @@ If you want to work on a codespace in a JetBrains IDE you must install the JetBr
- If you choose **JetBrains Gateway**, the Gateway application will automatically open when you next create or open a codespace.
The first time you open a codespace this way you must give permission to open the application.
* If you choose **JetBrains Gateway**, the Gateway application will automatically open when you next create or open a codespace.
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 "[AUTOTITLE](/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 %}