eoeair/jupyter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use lsp not tabnine(outdate) & permit del dir

Browse Source
This commit is contained in:
ben0i0d 2024-11-01 19:39:01 +08:00
parent f28efc633d
commit ec15ecb31b
4 changed files with 5 additions and 5 deletions

2
README.md

@ -68,7 +68,7 @@ c.DockerSpawner.allowed_images = {
**Global** **Global**
* jupyterlab-language-pack-zh-CN:Support for Chinese * jupyterlab-language-pack-zh-CN:Support for Chinese
* jupyterlab_tabnine：It is used for autocompletion, parameter suggestion, function document query, and jump definition * jupyterlab-lsp：It is used for autocompletion, parameter suggestion, function document query, and jump definition
* jupyterlab-execute-time: Displays the execution time of each cell * jupyterlab-execute-time: Displays the execution time of each cell
**Part** **Part**

2
README_CN.md

@ -75,7 +75,7 @@ plt.rcParams["font.family"] = zh_font.get_name()
**全局** **全局**
* jupyterlab-language-pack-zh-CN:对中文的支持 * jupyterlab-language-pack-zh-CN:对中文的支持
* jupyterlab_tabnine：用于自动补全、参数建议、函数文档查询、跳转定义 * jupyterlab-lsp：用于自动补全、参数建议、函数文档查询、跳转定义
* jupyterlab-execute-time: 用于显示代码执行时间 * jupyterlab-execute-time: 用于显示代码执行时间
**局部** **局部**

2
python/Dockerfile

@ -55,7 +55,7 @@ USER ${NB_UID}
# install jupyter extension # install jupyter extension
RUN pip install 'jupyterlab' 'jupyterhub' && \ RUN pip install 'jupyterlab' 'jupyterhub' && \
pip install jupyterlab-language-pack-zh-CN jupyterlab_tabnine jupyterlab-execute-time && \ pip install jupyterlab-language-pack-zh-CN jupyterlab-lsp jupyterlab-execute-time && \
pip cache purge pip cache purge
WORKDIR "${HOME}" WORKDIR "${HOME}"

4
python/jupyter_server_config.py

@ -15,8 +15,8 @@ c.ServerApp.open_browser = False
# to output both image/svg+xml and application/pdf plot formats in the notebook file # to output both image/svg+xml and application/pdf plot formats in the notebook file
c.InlineBackend.figure_formats = {"png", "jpeg", "svg", "pdf"} c.InlineBackend.figure_formats = {"png", "jpeg", "svg", "pdf"}
# https://github.com/jupyter/notebook/issues/3130 # https://github.com/jupyter/notebook/issues/4916
c.FileContentsManager.delete_to_trash = False c.FileContentsManager.always_delete_dir = True
# https://github.com/jupyter/notebook/issues/7409 # https://github.com/jupyter/notebook/issues/7409
c.ContentsManager.hide_globs = [] c.ContentsManager.hide_globs = []