From 6f9440fcc7553d9d3b6bdbe76c54fea9e8883593 Mon Sep 17 00:00:00 2001 From: "Tiffany A. Timbers" Date: Wed, 21 Jul 2021 11:47:23 -0700 Subject: [PATCH] added disabling keyboard shortcut --- r-dsci-100/Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/r-dsci-100/Dockerfile b/r-dsci-100/Dockerfile index fe9ab7de41..caac17ed4a 100644 --- a/r-dsci-100/Dockerfile +++ b/r-dsci-100/Dockerfile @@ -36,6 +36,8 @@ RUN useradd -m -s /bin/bash -N -u 9999 jupyter USER jupyter +COPY rm-merge-shortcut.py /home/jupyter/.jupyter/lab/user-settings/\@jupyterlab/shortcuts-extension/shortcuts.jupyterlab-settings + # Configure jupyter user ENV NB_USER=jupyter \ NB_UID=9999