mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-21 16:38:23 +01:00
Add term:localshellopts example to docs (#1535)
adds example to avoid confusion and resolve #1522
This commit is contained in:
parent
f1cd6b933d
commit
18fcab4346
@ -40,7 +40,7 @@ wsh editconfig
|
||||
| term:fontfamily | string | font family to use for terminal block |
|
||||
| term:disablewebgl | bool | set to false to disable WebGL acceleration in terminal |
|
||||
| term:localshellpath | string | set to override the default shell path for local terminals |
|
||||
| term:localshellopts | string[] | set to pass additional parameters to the term:localshellpath |
|
||||
| term:localshellopts | string[] | set to pass additional parameters to the term:localshellpath (example: `["-NoLogo"]` for PowerShell will remove the copyright notice) |
|
||||
| term:copyonselect | bool | set to false to disable terminal copy-on-select |
|
||||
| term:scrollback | int | size of terminal scrollback buffer, max is 10000 |
|
||||
| editor:minimapenabled | bool | set to false to disable editor minimap |
|
||||
|
Loading…
Reference in New Issue
Block a user