@kugel- has a point that the terminal used in the terminal window should be separate from the shell used to run commands. The shell used to run commands is one of a limited set we know works (and the UI should therefore be a selection) but the shell the user wants should be allowed to be anything.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.