Skip to content
This repository has been archived by the owner on Oct 22, 2021. It is now read-only.

How to change default shell #958

Discussion options

You must be logged in to vote

Yep! Check the settings (Ctrl+shift+S). More detailed info in the wiki.

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@nico-bachner
Comment options

Answer selected by GitSquared
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants