From e60e51a9d61f2a7685abf8679411a88cc8495bad Mon Sep 17 00:00:00 2001
From: Attila Krasznahorkay <Attila.Krasznahorkay@cern.ch>
Date: Tue, 3 Dec 2019 14:15:53 +0100
Subject: [PATCH] Added some defaults for SSH based remote connections.

Unfortunately they don't seem to make a difference. :-( Apparently these
settings can only be done globally by the user, they can't be done
on a per-project level...

Still, for reference, it seems to be a good idea to keep these settings
in the repository as well.
---
 .vscode/settings.json | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 .vscode/settings.json

diff --git a/.vscode/settings.json b/.vscode/settings.json
new file mode 100644
index 000000000000..e1ebff53d0f2
--- /dev/null
+++ b/.vscode/settings.json
@@ -0,0 +1,7 @@
+{
+    "remote.SSH.defaultExtensions": [
+        "ms-vscode.cpptools",
+        "twxs.cmake"
+    ],
+    "remote.SSH.lockfilesInTmp": true
+}
-- 
GitLab