Skip to content

Commit

Permalink
Close open quotation marks
Browse files Browse the repository at this point in the history
Otherwise, these commands don't run out of the box
  • Loading branch information
adswa authored Sep 26, 2023
1 parent ce3fa45 commit e28b9c7
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions _extras/for_instructors.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit e28b9c7

Please sign in to comment.