diff options
| author | JP Ungaretti <19893438+jungaretti@users.noreply.github.com> | 2022-09-20 23:47:46 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-20 23:47:46 +0300 |
| commit | ceb4544cc38d4882a0294c79f4ef8123435cb027 (patch) | |
| tree | ec13c3879003de706d1bb1a566d507bf2f3d9ea6 /src/python/install.sh | |
| parent | bae781225916c206f8d908b6dba1e3d4ca6d555e (diff) | |
Rename JupyterLab config file (#174)
* Rename JupyterLab config file
* Bump version
Diffstat (limited to 'src/python/install.sh')
| -rwxr-xr-x | src/python/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/python/install.sh b/src/python/install.sh index 08465dc..2a0dd55 100755 --- a/src/python/install.sh +++ b/src/python/install.sh @@ -320,7 +320,7 @@ install_user_package() { add_user_jupyter_config() { CONFIG_DIR="/home/$USERNAME/.jupyter" - CONFIG_FILE="$CONFIG_DIR/jupyter_notebook_config.py" + CONFIG_FILE="$CONFIG_DIR/jupyter_server_config.py" # Make sure the config file exists or create it with proper permissions test -d "$CONFIG_DIR" || sudo_if mkdir "$CONFIG_DIR" |