jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-23 11:54:18 -05:00
Code Issues Projects Releases Wiki Activity

Update the text of links to articles with revised names

Browse Source
This commit is contained in:
hubwriter
2022-07-13 12:01:00 +00:00
committed by GitHub
parent cd7c0ac8cc
commit c02e7b8dfc
40 changed files with 61 additions and 61 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
content/codespaces/setting-up-your-project-for-codespaces/introduction-to-dev-containers.md
View File

@@ -53,7 +53,7 @@ For information about how to choose your preferred dev container configuration w
It's useful to think of the `devcontainer.json` file as providing "customization" rather than "personalization." You should only include things that everyone working on your codebase needs as standard elements of the development environment, not things that are personal preferences. Things like linters are good to standardize on, and to require everyone to have installed, so they're good to include in your `devcontainer.json` file. Things like user interface decorators or themes are personal choices that should not be put in the `devcontainer.json` file.
You can personalize your codespaces by using dotfiles and Settings Sync. For more information, see "[Personalizing Codespaces for your account](/codespaces/customizing-your-codespace/personalizing-codespaces-for-your-account)."
You can personalize your codespaces by using dotfiles and Settings Sync. For more information, see "[Personalizing {% data variables.product.prodname_github_codespaces %} for your account](/codespaces/customizing-your-codespace/personalizing-github-codespaces-for-your-account)."
### Dockerfile