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

Change initial instances of Codespaces (the product) to GitHub Codespaces

Browse Source
This commit is contained in:
Sophie
2022-05-23 17:25:51 +02:00
parent 18504871b9
commit cb2861d65a
7 changed files with 36 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
content/codespaces/developing-in-codespaces/using-codespaces-in-visual-studio-code.md
View File

@@ -1,5 +1,5 @@
---
title: Using Codespaces in Visual Studio Code
title: Using GitHub Codespaces in Visual Studio Code
intro: 'You can develop in your codespace directly in {% data variables.product.prodname_vscode %} by connecting the {% data variables.product.prodname_github_codespaces %} extension with your account on {% data variables.product.product_name %}.'
product: '{% data reusables.gated-features.codespaces %}'
redirect_from:
@@ -18,9 +18,9 @@ shortTitle: Visual Studio Code
---
## About {% data variables.product.prodname_codespaces %} in {% data variables.product.prodname_vscode %}
## About {% data variables.product.prodname_github_codespaces %} in {% data variables.product.prodname_vscode %}
You can use your local install of {% data variables.product.prodname_vscode %} to create, manage, work in, and delete codespaces. To use {% data variables.product.prodname_codespaces %} in {% data variables.product.prodname_vscode_shortname %}, you need to install the {% data variables.product.prodname_github_codespaces %} extension. For more information on setting up Codespaces in {% data variables.product.prodname_vscode_shortname %}, see "[Prerequisites](#prerequisites)."
You can use your local install of {% data variables.product.prodname_vscode %} to create, manage, work in, and delete codespaces. To use {% data variables.product.prodname_github_codespaces %} in {% data variables.product.prodname_vscode_shortname %}, you need to install the {% data variables.product.prodname_github_codespaces %} extension. For more information on setting up Codespaces in {% data variables.product.prodname_vscode_shortname %}, see "[Prerequisites](#prerequisites)."
By default, if you create a new codespace on {% data variables.product.prodname_dotcom_the_website %}, it will open in the browser. If you would prefer to open any new codespaces in {% data variables.product.prodname_vscode_shortname %} automatically, you can set your default editor to be {% data variables.product.prodname_vscode_shortname %}. For more information, see "[Setting your default editor for {% data variables.product.prodname_codespaces %}](/codespaces/managing-your-codespaces/setting-your-default-editor-for-codespaces)."

27
content/codespaces/developing-in-codespaces/using-codespaces-with-github-cli.md
View File

@@ -1,5 +1,5 @@
---
title: Using Codespaces with GitHub CLI
title: Using GitHub Codespaces with GitHub CLI
shortTitle: GitHub CLI
intro: 'You can work with {% data variables.product.prodname_github_codespaces %} directly from your command line by using `gh`, the {% data variables.product.product_name %} command line interface.'
product: '{% data reusables.gated-features.codespaces %}'
@@ -18,16 +18,21 @@ topics:
{% data reusables.cli.about-cli %} For more information, see "[About {% data variables.product.prodname_cli %}](/github-cli/github-cli/about-github-cli)."
You can work with {% data variables.product.prodname_codespaces %} in the {% data variables.product.prodname_cli %} to:
- [List your codespaces](#list-all-of-your-codespaces)
- [Create a codespace](#create-a-new-codespace)
- [Stop a codespace](#stop-a-codespace)
- [Delete a codespace](#delete-a-codespace)
- [SSH into a codespace](#ssh-into-a-codespace)
- [Open a codespace in {% data variables.product.prodname_vscode %}](#open-a-codespace-in-visual-studio-code)
- [Open a codespace in JupyterLab](#open-a-codespace-in-jupyterlab)
- [Copying a file to/from a codespace](#copy-a-file-tofrom-a-codespace)
- [Modify ports in a codespace](#modify-ports-in-a-codespace)
- [Access codespace logs](#access-codespace-logs)
- [About {% data variables.product.prodname_cli %}](#about--data-variablesproductprodname_cli-)
- [Installing {% data variables.product.prodname_cli %}](#installing--data-variablesproductprodname_cli-)
- [Using {% data variables.product.prodname_cli %}](#using--data-variablesproductprodname_cli-)
- [`gh` commands for {% data variables.product.prodname_github_codespaces %}](#gh-commands-for--data-variablesproductprodname_github_codespaces-)
- [List all of your codespaces](#list-all-of-your-codespaces)
- [Create a new codespace](#create-a-new-codespace)
- [Stop a codespace](#stop-a-codespace)
- [Delete a codespace](#delete-a-codespace)
- [SSH into a codespace](#ssh-into-a-codespace)
- [Open a codespace in {% data variables.product.prodname_vscode %}](#open-a-codespace-in--data-variablesproductprodname_vscode-)
- [Open a codespace in JupyterLab](#open-a-codespace-in-jupyterlab)
- [Copy a file to/from a codespace](#copy-a-file-tofrom-a-codespace)
- [Examples](#examples)
- [Modify ports in a codespace](#modify-ports-in-a-codespace)
- [Access codespace logs](#access-codespace-logs)
## Installing {% data variables.product.prodname_cli %}