| description |
|---|
Terminal shell spesific settings |
Configure terminal shell to GNU bash:
"terminal.integrated.defaultProfile.linux": "sh",
"terminal.integrated.profiles.linux": {
"sh": {
"path": "/usr/bin/sh",
"icon": "terminal-bash"
}
},