Set timeout for web terminals through an environment variable in the web-terminal-exec plugin rather than through the automatically provisioned DEVWORKSPACE_IDLE_TIMEOUT environment variable. This allows
the timeout for individual terminals to be changed without overriding the timeout for all DevWorkspaces
The main reason to update the idle timeout currently is that the bash history is erased when a Web Terminal is idled. By setting a longer duration, a session could continue for e.g. a full work day.
What issues does this PR fix or reference?
We've had a number of requests for how to increase the web terminal timeout, which normally requires editing the DevWorkspace Operator config or the web-terminal-exec. With these changes, it's easy to override the timeout for individual web terminals in a persistent way.
Is it tested? How?
Start a web terminal with these changes and verify that the updated variable is used for idle timeout. To shorten it for the current web terminal, paste and execute the command
What does this PR do?
Set timeout for web terminals through an environment variable in the web-terminal-exec plugin rather than through the automatically provisioned DEVWORKSPACE_IDLE_TIMEOUT environment variable. This allows the timeout for individual terminals to be changed without overriding the timeout for all DevWorkspaces
The main reason to update the idle timeout currently is that the bash history is erased when a Web Terminal is idled. By setting a longer duration, a session could continue for e.g. a full work day.
What issues does this PR fix or reference?
We've had a number of requests for how to increase the web terminal timeout, which normally requires editing the DevWorkspace Operator config or the
web-terminal-exec
. With these changes, it's easy to override the timeout for individual web terminals in a persistent way.Is it tested? How?
Start a web terminal with these changes and verify that the updated variable is used for idle timeout. To shorten it for the current web terminal, paste and execute the command