waveterm/dev.commandline.waveterm
0
0
Fork 0
mirror of https://github.com/wavetermdev/dev.commandline.waveterm.git synced 2026-04-22 15:27:29 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #478 from flibitijibibo/patch-1

Browse Source 
README: Update host-spawn guide
This commit is contained in:
Bilal Elmoussaoui
2024-02-25 15:54:00 +01:00
committed by GitHub
parent 09c789178f a53ede8e2d
commit e69532bb16
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+7 -3
View File
@@ -30,7 +30,7 @@ or
Another option to execute commands is to use your host shell in the integrated terminal instead of the sandbox one.
For that go to `File -> Preferences -> Settings` and find `Terminal > Integrated > Profiles`, then click on `Edit in settings.json` (The important thing here is to open settings.json)
For that go to `File -> Preferences -> Settings` and find `Features > Terminal > Integrated > Profiles`, then click on `Edit in settings.json` (The important thing here is to open settings.json)
And make sure that you have the following lines there:
@@ -53,13 +53,17 @@ And make sure that you have the following lines there:
`host-spawn`
```
"terminal.integrated.defaultProfile.linux": "bash",
{
"terminal.integrated.defaultProfile.linux": "bash",
"terminal.integrated.profiles.linux": {
"bash": {
"path": "/app/bin/host-spawn",
"args": ["bash"],
"icon": "terminal-bash",
"overrideName": true
},
}
}
}
```
- You can change **bash** to any terminal you are using: zsh, fish, sh.