Вам нужно нажать пункт меню «Настройки» в выпадающем меню ![Options drop down menu](https://i.stack.imgur.com/mGtGN.png)
Затем файл JSON настроек должен быть открыт в вашем редакторе JSON по умолчанию.Пожалуйста, найдите раздел «Профили» и скопируйте руководство для вашего профиля Bash.
![profiles section](https://i.stack.imgur.com/GIClw.png)
Затем просто вставьте скопированный guid в ключ defaultProfile раздела «глобальные переменные»:
![globals section](https://i.stack.imgur.com/ngz0F.png)