From 6011182d23ac5023f6a1342bbd97cbe2a67f3508 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20Gr=C5=88o?= Date: Tue, 25 Feb 2020 21:51:30 +0100 Subject: [PATCH] Add instructions how to use home system's shell? --- flatpak-warning.txt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/flatpak-warning.txt b/flatpak-warning.txt index 7810585..d0500f3 100644 --- a/flatpak-warning.txt +++ b/flatpak-warning.txt @@ -14,6 +14,14 @@ to access SDKs on your host system! To execute commands on the host system, run inside the sandbox: $ flatpak-spawn --host + +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). To see what's available: