Preferred shell options #888
Description
Users should be able to select their preferred shell in settings. In cases where no selection is made, we should use the OS default.
{{ message }}
Users should be able to select their preferred shell in settings. In cases where no selection is made, we should use the OS default.