diff options
| author | Marcel Amirault <ravlen@gmail.com> | 2019-05-05 18:06:37 +0300 |
|---|---|---|
| committer | Achilleas Pipinellis <axil@gitlab.com> | 2019-05-05 18:06:37 +0300 |
| commit | 339d0a5b9259a27da77ef090c46d180314f624aa (patch) | |
| tree | abbb6fc68272f0c0bafac7c30bd3790e540dc24b /doc/ci/interactive_web_terminal | |
| parent | 4eac38d48ca4731e91b9d35ef2ac4e90214f4e59 (diff) | |
Docs: Merge EE doc/ci to CE
Diffstat (limited to 'doc/ci/interactive_web_terminal')
| -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.  + +## 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). + |