mirror of
https://github.com/wavetermdev/waveterm-docs.git
synced 2026-08-05 13:45:23 -07:00
faq entry for git bash (#54)
* faq entry for git bash * add a link to config
This commit is contained in:
+13
-1
@@ -41,4 +41,16 @@ The block numbers will appear when you hold down Ctrl-Shift (and disappear once
|
||||
### How do I make a remote connection?
|
||||
|
||||
There is a button in the header. Click the <i className="fa-sharp fa-laptop"/> or <i className="fa-sharp fa-arrow-right-arrow-left"/>
|
||||
and type the `[user]@[host]` that you wish to connect to.
|
||||
and type the `[user]@[host]` that you wish to connect to.
|
||||
|
||||
### On Windows, how can I use Git Bash as my default shell?
|
||||
|
||||
In order to make Git Bash your default shell you'll need to set the configuration variable `term:localshellpath` to
|
||||
the location of the Git Bash "bash.exe" binary. By default it is located at "C:\Program Files\Git\bin\bash.exe".
|
||||
Just remember in JSON, backslashes need to be escaped. So add this to your [settings.json](./config) file:
|
||||
|
||||
```json
|
||||
"term:localshellpath": "C:\\Program Files\\Git\\bin\\bash.exe"
|
||||
```
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user