Merge pull request #280 from GrahamDumpleton/default-terminal-script-…

…docs Default terminal script documentation.
educates · Jan 23, 2024 · 5f5982d · 5f5982d
2 parents 41efd94 + 9e3e90e
commit 5f5982d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/project-docs/release-notes/version-2.7.0.md b/project-docs/release-notes/version-2.7.0.md
@@ -57,6 +57,10 @@ New Features
   For more details see [Provisioning a virtual
   cluster](provisioning-a-virtual-cluster).
 
+* A default command can now be specified for all terminal sessions by supplying
+  a ``terminal.sh`` file in the ``workshop`` directory. Where a terminal script
+  exists for a specific session at the same time, it will take precedence.
+
 Features Changed
 ----------------
 

diff --git a/project-docs/workshop-content/workshop-runtime.md b/project-docs/workshop-content/workshop-runtime.md
@@ -157,3 +157,5 @@ echo
 
 exec bash
 ```
+
+In the case where you need to provide a default command for all terminal sessions regardless of name, such as to redirect all sessions to a virtual machine or container, you can do so by providing an executable shell script ``terminal.sh`` in the ``workshop`` directory. Note that a terminal script for a specific named terminal session, if it also exists, will take precedence over this default terminal script.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -157,3 +157,5 @@ echo

		exec bash
		```

		In the case where you need to provide a default command for all terminal sessions regardless of name, such as to redirect all sessions to a virtual machine or container, you can do so by providing an executable shell script ``terminal.sh`` in the ``workshop`` directory. Note that a terminal script for a specific named terminal session, if it also exists, will take precedence over this default terminal script.