mirror of
https://github.com/wavetermdev/dev.commandline.waveterm.git
synced 2026-08-05 13:46:53 -07:00
Merge pull request #305 from felipemarkson/patch-1
Backing to depricated option to Integrated Terminal
This commit is contained in:
+7
-7
@@ -18,14 +18,14 @@ To execute commands on the host system, run inside the sandbox:
|
|||||||
To make the Integrated Terminal automatically use the host system's shell,
|
To make the Integrated Terminal automatically use the host system's shell,
|
||||||
you can add this to the settings:
|
you can add this to the settings:
|
||||||
|
|
||||||
|
|
||||||
{
|
{
|
||||||
"terminal.integrated.defaultProfile.linux": "bash",
|
"terminal.integrated.shell.linux": "/usr/bin/flatpak-spawn",
|
||||||
"terminal.integrated.profiles.linux": {
|
"terminal.integrated.shellArgs.linux": [
|
||||||
"bash": {
|
"--host",
|
||||||
"path": "/usr/bin/flatpak-spawn",
|
"--env=TERM='xterm-256color'",
|
||||||
"args": ["--host", "--env=TERM=xterm-256color", "bash"]
|
"/bin/bash"
|
||||||
}
|
],
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
This flatpak provides a standard development environment (gcc, python, etc).
|
This flatpak provides a standard development environment (gcc, python, etc).
|
||||||
|
|||||||
Reference in New Issue
Block a user