From 8d63819d603ca48f2ac3f03b1777b774971e1941 Mon Sep 17 00:00:00 2001 From: Jan Bouwhuis Date: Tue, 12 Mar 2024 21:42:19 +0100 Subject: [PATCH] Improve instructions on how to change devcontainer.json for frontend development (#2045) --- docs/frontend/development.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/frontend/development.md b/docs/frontend/development.md index 43b66a51..59248906 100644 --- a/docs/frontend/development.md +++ b/docs/frontend/development.md @@ -48,7 +48,9 @@ frontend: development_repo: /workspaces/frontend/ ``` -The change to `.devcontainer/devcontainer.json` should be excluded from any PR as it contains your local path to the `frontend` repository. +:::caution +The change to `.devcontainer/devcontainer.json` should be excluded from any PR as it contains your local path to the `frontend` repository. Since the the settings in `.devcontainer/devcontainer.json` are only processed during the container rebuild, you can safely roll back the change after the rebuild has completed. +::: ### Installing Node.js