YunoHost-Apps/jupyterlab_ynh
1
0
Fork 0
mirror of https://github.com/YunoHost-Apps/jupyterlab_ynh.git synced 2024-09-03 19:26:35 +02:00
Code Issues Activity Actions

add the ability to disable the terminal

Browse source
This commit is contained in:
Pierre Bourré 2019-01-03 20:02:31 +01:00
parent ba5a0ab8e9
commit 7e67efb5aa
4 changed files with 14 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
conf/jupyter_notebook_config.py
View file

@ -329,7 +329,7 @@ c.NotebookApp.terminado_settings = {'shell_command': ['/bin/bash']}
# #
# Terminals may also be automatically disabled if the terminado package is not # Terminals may also be automatically disabled if the terminado package is not
# available. # available.
#c.NotebookApp.terminals_enabled = True c.NotebookApp.terminals_enabled = __ENABLE_TERMINAL__
## Token used for authenticating first-time connections to the server. ## Token used for authenticating first-time connections to the server.
# #

9
manifest.json
View file

@ -59,6 +59,15 @@
"fr": "Est-ce une application publique ?" "fr": "Est-ce une application publique ?"
}, },
"default": true "default": true
},
{
"name": "enable_terminal",
"type": "boolean",
"ask": {
"en": "Enable terminal in the lab?",
"fr": "Activer le terminal dans le lab ?"
},
"default": true
} }
] ]
} }

2
scripts/_common.sh
View file

@ -61,6 +61,8 @@ config_jupyter_notebook() {
# Jupyter notebook configuration # Jupyter notebook configuration
cp -f ../conf/jupyter_notebook_config.py $jupyter_notebook_conf_path cp -f ../conf/jupyter_notebook_config.py $jupyter_notebook_conf_path
ynh_replace_string "__ENABLE_TERMINAL__" "$enable_terminal" $jupyter_notebook_conf_path
ynh_store_file_checksum $jupyter_notebook_conf_path ynh_store_file_checksum $jupyter_notebook_conf_path
} }

2
scripts/install
View file

@ -23,6 +23,7 @@ domain=$YNH_APP_ARG_DOMAIN
path_url=$YNH_APP_ARG_PATH path_url=$YNH_APP_ARG_PATH
is_public=$YNH_APP_ARG_IS_PUBLIC is_public=$YNH_APP_ARG_IS_PUBLIC
admin=$YNH_APP_ARG_ADMIN admin=$YNH_APP_ARG_ADMIN
enable_terminal=$YNH_APP_ARG_ENABLE_TERMINAL
#================================================= #=================================================
# REGISTER DOMAIN # REGISTER DOMAIN
@ -51,6 +52,7 @@ ynh_app_setting_set $app admin $admin
ynh_app_setting_set $app domain $domain ynh_app_setting_set $app domain $domain
ynh_app_setting_set $app path_url $path_url ynh_app_setting_set $app path_url $path_url
ynh_app_setting_set $app is_public $is_public ynh_app_setting_set $app is_public $is_public
ynh_app_setting_set $app enable_terminal $is_public
#================================================= #=================================================
# STANDARD MODIFICATIONS # STANDARD MODIFICATIONS