From e28b9c7333d4d2c78ec5fd5c82895b08c29a9e27 Mon Sep 17 00:00:00 2001 From: Adina Wagner Date: Tue, 26 Sep 2023 14:40:54 +0200 Subject: [PATCH] Close open quotation marks Otherwise, these commands don't run out of the box --- _extras/for_instructors.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_extras/for_instructors.md b/_extras/for_instructors.md index 668bbfc..69bae08 100644 --- a/_extras/for_instructors.md +++ b/_extras/for_instructors.md @@ -247,8 +247,8 @@ to access them in order to set the default shell to `zsh`: 3. Lastly, we also need to make the hub aware of which shell it should use when launching a terminal. We do this with a configuration script. Run the following lines one by one: ~~~ - touch "$HOME/.jupyter/jupyter_notebook_config.py - echo 'c.NotebookApp.terminado_settings = {"shell_command": ["/usr/bin/zsh"]}' > "$HOME/.jupyter/jupyter_notebook_config.py + touch "$HOME/.jupyter/jupyter_notebook_config.py" + echo 'c.NotebookApp.terminado_settings = {"shell_command": ["/usr/bin/zsh"]}' > "$HOME/.jupyter/jupyter_notebook_config.py" ~~~ 4. This finalizes the shell setup. You can now navigate to the hub's admin panel and restart your server in order for the changes to take effect.