Skip to content

Commit

Permalink
Merge branch 'main' into update-code-search
Browse files Browse the repository at this point in the history
  • Loading branch information
nguyenalex836 authored Oct 17, 2024
2 parents f63fea4 + 710e8ad commit b730d47
Show file tree
Hide file tree
Showing 3 changed files with 15 additions and 16 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,10 @@ shortTitle: Develop in a codespace

You can develop code in a codespace using your choice of tool:

* A command shell, via an SSH connection initiated using {% data variables.product.prodname_cli %}.
* One of the JetBrains IDEs, via the JetBrains Gateway.
* The {% data variables.product.prodname_vscode %} desktop application.
* A browser-based version of {% data variables.product.prodname_vscode %}.
* A command shell, via an SSH connection initiated using {% data variables.product.prodname_cli %}
* One of the JetBrains IDEs, via the JetBrains Gateway
* The {% data variables.product.prodname_vscode %} desktop application
* A browser-based version of {% data variables.product.prodname_vscode %}

{% webui %}

Expand Down Expand Up @@ -89,6 +89,7 @@ Within the {% data variables.product.prodname_github_codespaces %} documentation
![Annotated screenshot of the six main components of the user interface for JetBrains IntelliJ IDEA.](/assets/images/help/codespaces/jetbrains-gui-with-callouts.png)

The main components of the user interface are:

1. **Navigation bar** - This displays the path to the currently selected file or directory. Use the buttons to the right of the navigation bar to perform various actions, including building, running, or debugging the project, or running Git commands to commit and push your changes.
1. **Project tool window** - This shows you the structure of your project and allows you to open files in the editor.
1. **{% data variables.product.prodname_github_codespaces %} tool window** - This is displayed by clicking the {% data variables.product.prodname_github_codespaces %} plugin in the bar to the left of the tool window. It displays information about your codespace, including its display name and machine type. The buttons at the top of this tool window allow you to:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -30,19 +30,19 @@ After you save the change to this file, the value will be set the next time you

There are three ways that you can set persistent custom environment variables for all codespaces that you create for a repository:

* You can edit the `devcontainer.json` configuration file for the repository
* You can use a custom Dockerfile
* You can use development environment secrets
* You can edit the `devcontainer.json` configuration file for the repository.
* You can use a custom Dockerfile.
* You can use development environment secrets.

#### Edit the `devcontainer.json` configuration file for the repository

Edit the `devcontainer.json` configuration file for the repository, and use the `remoteEnv` property to set the environment variable value:

```json
{
"remoteEnv": {
"VARNAME": "value"
}
"remoteEnv": {
"VARNAME": "value"
}
}
```

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,9 @@ To read about how {% data variables.product.prodname_dotcom %} is used by educat

## {% data variables.product.prodname_campus_program %} terms and conditions

* The license is free for one year and will automatically renew for free every 2 years. You may continue on the free license so long as you continue to operate within the terms of the agreement. Any school that can agree to the [terms of the program](https://education.github.com/schools/terms) is welcome to join.
* The license is free for one year and will automatically renew annually. You may continue on the free license so long as you continue to operate within the terms of the agreement. Any school that grants degrees, diplomas, or certificates, and can agree to the [terms of the program](https://education.github.com/schools/terms) is welcome to join.

* Please note that the licenses are for use by the whole school. Internal IT departments, academic research groups, collaborators, students, and other non-academic departments are eligible to use the licenses so long as they are not making a profit from its use. Externally funded research groups that are housed at the university may not use the free licenses.
* Please note that the licenses are for use by the whole school. Internal IT departments, academic research groups, collaborators, students, and other non-academic departments are eligible to use the licenses so long as they are not making a profit from its use.

* You must offer {% data variables.product.prodname_dotcom %} to all of your technical and academic departments and your school’s logo will be shared on the GitHub Education website as a {% data variables.product.prodname_campus_program %} Partner.

Expand All @@ -33,10 +33,8 @@ To read more about {% data variables.product.prodname_dotcom %}'s privacy practi

## {% data variables.product.prodname_campus_program %} Application Eligibility

* Often times, a campus CTO/CIO, Dean, Department Chair, or Technology Officer signs the terms of the program on behalf of the campus.
A school employee with authority to adopt technology for the whole school, such as a CTO/CIO, Dean, Department Chair, or Technology Officer, must sign the terms of the program on behalf of the campus.

* If your school does not issue email addresses, {% data variables.product.prodname_dotcom %} will reach out to your account administrators with an alternative option to allow you to distribute the student developer pack to your students.

For more information, see the [official {% data variables.product.prodname_campus_program %}](https://education.github.com/schools) page.
For more information, see the [official {% data variables.product.prodname_campus_program %}](https://education.github.com/schools) page or visit the [{% data variables.product.prodname_education %} Resource Guide](https://github.com/github-education-resources/edu-resource-guide?tab=readme-ov-file#github-education-resource-guide).

If you're a student or academic faculty and your school isn't partnered with {% data variables.product.prodname_dotcom %} as a {% data variables.product.prodname_campus_program %} school, then you can still individually apply for discounts to use {% data variables.product.prodname_dotcom %}. To apply for the Student Developer Pack, [see the application form](https://education.github.com/pack/join).

0 comments on commit b730d47

Please sign in to comment.