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

Add instructions how to use home system's shell?

Browse Source
This commit is contained in:
Michal Grňo
2020-02-28 20:28:11 +01:00
committed by eszlari
parent b96172f12a
commit 6011182d23
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
flatpak-warning.txt
+8
View File
@@ -15,6 +15,14 @@ To execute commands on the host system, run inside the sandbox:
$ flatpak-spawn --host <COMMAND> $ flatpak-spawn --host <COMMAND>
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"]
}
This flatpak provides a standard development environment (gcc, python, etc). This flatpak provides a standard development environment (gcc, python, etc).
To see what's available: To see what's available: