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

Document changing a codespace machine type with GitHub CLI (#31193)

Browse Source 
Co-authored-by: hubwriter <hubwriter@github.com>
This commit is contained in:
Isaac Brown
2022-09-28 12:00:18 +01:00
committed by GitHub
parent d7528708f1
commit 62c7f5b0a4
5 changed files with 85 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -31,6 +31,7 @@ You can work with {% data variables.product.prodname_github_codespaces %} in the
- [Modify ports in a codespace](#modify-ports-in-a-codespace)
- [Access codespace logs](#access-codespace-logs)
- [Access remote resources](#access-remote-resources)
- [Change the machine type of a codespace](#change-the-machine-type-of-a-codespace)
## Installing {% data variables.product.prodname_cli %}
@@ -206,4 +207,12 @@ You can use the {% data variables.product.prodname_cli %} extension to create a
**Note**: The {% data variables.product.prodname_cli %} extension is currently in beta and subject to change.
{% endnote %}
{% endnote %}
### Change the machine type of a codespace
```shell
gh codespace edit -m <em>machine-type-name</em>
```
For more information, see the "{% data variables.product.prodname_cli %}" tab of "[Changing the machine type for your codespace](/codespaces/customizing-your-codespace/changing-the-machine-type-for-your-codespace)."