waveterm/dev.commandline.waveterm
0
0
Fork 0
mirror of https://github.com/wavetermdev/dev.commandline.waveterm.git synced 2026-08-05 13:46:53 -07:00
Code Issues Packages Projects Releases Wiki Activity

terminal for linux change - using profiles

Browse Source 
Signed-off-by: Vladislav Walek <22072258+vwalek@users.noreply.github.com>
This commit is contained in:
Vladislav Walek
2021-06-21 08:00:27 +02:00
committed by Bartłomiej Piotrowski
parent 5fa5f100b1
commit 34d7524073
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
flatpak-warning.txt
+7 -2
View File
@@ -19,8 +19,13 @@ To make the Integrated Terminal automatically use the host system's shell,
you can add this to the settings:
{
"terminal.integrated.shell.linux": "/usr/bin/env",
"terminal.integrated.shellArgs.linux": ["--", "flatpak-spawn", "--host", "bash"]
"terminal.integrated.defaultProfile.linux": "bash",
"terminal.integrated.profiles.linux": {
"bash": {
"path": "/usr/bin/flatpak-spawn",
"args": ["--host", "--env=TERM=xterm-256color", "bash"]
}
}
}
This flatpak provides a standard development environment (gcc, python, etc).