Remove the note for starting configured dev container

sagemath · Aug 20, 2022 · 37eb95d · 37eb95d
1 parent f1f38b1
commit 37eb95d
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/src/doc/en/developer/portability_testing.rst b/src/doc/en/developer/portability_testing.rst
@@ -1214,13 +1214,6 @@ in a terminal, `open a new terminal in VS Code
 <https://code.visualstudio.com/docs/terminal/basics>`_, type ``./sage`` and hit
 :kbd:`Enter`.
 
-.. NOTE::
-
-   If you want VS Code to use a previously configured dev container, first
-   start the dev container in Docker and enter "Remote-Containers: Attach to
-   Running Container" in the command palette of VS Code and choose the dev
-   container.
-
 .. NOTE::
 
    Your Sage at ``$SAGE_ROOT`` was configured and rebuilt inside the dev