diff --git a/binder/postBuild b/binder/postBuild index 9bf0873ccabe9473a5d9b36342793aa9d9592979..774fd2a41f3803b29a34810b3219408fa2ecb226 100755 --- a/binder/postBuild +++ b/binder/postBuild @@ -13,4 +13,4 @@ jupyter serverextension enable --py jupyter_lsp --sys-prefix npm cache clean --force mkdir -p ~/.jupyter/lab/user-settings/@jupyterlab/notebook-extension/ -echo '{"codeCellConfig": {"lineNumbers": true}, "recordTiming": true}' > ~/.jupyter/lab/user-settings/@jupyterlab/notebook-extension/tracker.jupyterlab-settings +echo '{"codeCellConfig": {"lineNumbers": true}, "recordTiming": false}' > ~/.jupyter/lab/user-settings/@jupyterlab/notebook-extension/tracker.jupyterlab-settings