Allow users to define the shell to use with shell_command
/shell_source
#18323
Labels
backend: Shell
Shell backend-related issues
shell_command
/shell_source
#18323
This would be use both for running
shell_command
/shell_source
targets, but where relevant, would also be used for compatibility testing when linting/testing/formatting etc.The text was updated successfully, but these errors were encountered: