Rainhard

Results 2 comments of Rainhard

Since this is legacy now and all shells are supported. It should be pretty easy to let the user choose, which shell is used by default for a terminal block,...

Yes. You can find the exact setting on the configuration-page on the website. You will have to edit the config-file and set the default shell path for new terminal blocks...