From 0ab34150cbdaa710358f8e17a76386e94f96fa00 Mon Sep 17 00:00:00 2001
From: Michael Blaschek <michael.blaschek@univie.ac.at>
Date: Mon, 22 May 2023 16:04:32 +0000
Subject: [PATCH] tmux jupyterlab fix
---
Misc/Virtual-Terminals.md | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/Misc/Virtual-Terminals.md b/Misc/Virtual-Terminals.md
index e8c84f0..85aef5e 100644
--- a/Misc/Virtual-Terminals.md
+++ b/Misc/Virtual-Terminals.md
@@ -43,6 +43,30 @@ set -g mouse on
set -g history-limit 30000
```
+### Tmux inside JupyterLab on TeachingHub
+
+By coincidence the Jupyterlab uses the same control sequence to toggle the file browser in jupyterlab as tmux. `CTRL+b` .
+
+To change that, we will just remove the jupyterlab shortcut.
+In Jupyterlab go to Settings, Advanced Settings Editor, Keyboard Shortcuts. In the user pane add this:
+
+```yaml
+{
+ "shortcuts":[
+ {
+ "command": "application:toggle-left-area",
+ "keys": [
+ "Accel B"
+ ],
+ "selector": "body",
+ "disabled": true
+ }
+ ]
+}
+```
+
+When you can click then save button on the upper right corner, you are fine. Otherwise there might be a syntax error, as indicated in the lower right corner. That might happen if you need to merge things. Now you should be able to control tmux again inside the jupyterlab.
+
### Sharing a tmux session with other users?
In the first terminal, start tmux where shared is the session name and shareds is the name of the socket:
--
GitLab