diff --git a/Misc/Virtual-Terminals.md b/Misc/Virtual-Terminals.md index e8c84f030613aaf417e35811cdd54473e5d7b6eb..85aef5e3f8b93bdc2733bda3d89e65f5101a7365 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: