diff options
Diffstat (limited to 'doc/ci/interactive_web_terminal/index.md')
-rw-r--r-- | doc/ci/interactive_web_terminal/index.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/ci/interactive_web_terminal/index.md b/doc/ci/interactive_web_terminal/index.md index 2a4160f62b0..7109b2ec583 100644 --- a/doc/ci/interactive_web_terminal/index.md +++ b/doc/ci/interactive_web_terminal/index.md @@ -54,3 +54,8 @@ terminal will block the job from finishing for the duration configured in close the terminal window. ![finished job with terminal open](img/finished_job_with_terminal_open.png) + +## Interactive Web Terminals for the Web IDE **[ULTIMATE ONLY]** + +Read the Web IDE docs to learn how to run [Interactive Terminals through the Web IDE](../../user/project/web_ide/index.md). + |