Provide a way to configure the shell used for Web Terminals, so that users can choose between e.g. bash and zsh.
Merge request - Updated 3 upstream sources