From 76e8b17bb39e2966fd1f80170afb767bf6a55571 Mon Sep 17 00:00:00 2001
From: Dirk Sarpe <dirk.sarpe@idiv.de>
Date: Wed, 14 Mar 2018 14:24:09 +0100
Subject: [PATCH] add terminal workaround to rstudio1.md

---
 rstudio1.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/rstudio1.md b/rstudio1.md
index d8c1b7f..152e5b5 100644
--- a/rstudio1.md
+++ b/rstudio1.md
@@ -5,6 +5,8 @@
 1. use your iDiv username and password to login
 1. please remember to end your session when you have finished your current calculations (red button upper right)
 
+### terminal in Web-IDE of RStudio
+The default setting requires websockets to work, which currently do not. Uncheck *Connect with WebSockets* in *Tools->Global Options->Terminal* and your terminal should work.
 
 ## ssh access
 You can only reach the server from the internal network, i.e. if you are connected via VPN or cable at iDiv. Note that the internal name is rstudio1 instead of rstudio!
-- 
GitLab