add r & julia & python lsp
This commit is contained in:
parent
ec15ecb31b
commit
26d1cbbcd6
@ -27,4 +27,5 @@ USER ${NB_UID}
|
||||
|
||||
# Install IJulia as jovyan
|
||||
RUN julia -e 'import Pkg; Pkg.update()' && \
|
||||
julia -e 'using Pkg; pkg"add IJulia"; pkg"precompile"'
|
||||
julia -e 'using Pkg; pkg"add IJulia"; pkg"precompile"' && \
|
||||
julia -e 'using Pkg; Pkg.add("LanguageServer")'
|
@ -4,11 +4,14 @@ ARG CRAN_MIRROR
|
||||
|
||||
USER root
|
||||
|
||||
# INSTALL R+IRkernel
|
||||
# INSTALL R+IRkernel & languageserver
|
||||
RUN apt-get update && apt-get install --yes --no-install-recommends r-base r-cran-irkernel && apt-get clean && rm -rf /var/lib/apt/lists/* && \
|
||||
# set cran mirror
|
||||
# set cran mirror
|
||||
echo "options(repos=c(${CRAN_MIRROR}))" >> /usr/lib/R/library/base/R/Rprofile && \
|
||||
# Install IRkernel
|
||||
R -e 'IRkernel::installspec(sys_prefix = TRUE);q()' && \
|
||||
# Install languageserver
|
||||
R -e 'install.packages("languageserver");q()'&& \
|
||||
chown -hR "${NB_USER}:${NB_GID}" "${HOME}"
|
||||
|
||||
USER ${NB_UID}
|
@ -70,9 +70,14 @@ c.DockerSpawner.allowed_images = {
|
||||
* jupyterlab-language-pack-zh-CN:Support for Chinese
|
||||
* 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
|
||||
* jedi-language-server: Python Language server
|
||||
|
||||
**Part**
|
||||
|
||||
* R: r-languageserver: R Language server
|
||||
|
||||
* Julia: julia-language-server: Julia Language server
|
||||
|
||||
### Image dependencies
|
||||
```mermaid
|
||||
graph LR
|
||||
|
@ -77,9 +77,14 @@ plt.rcParams["font.family"] = zh_font.get_name()
|
||||
* jupyterlab-language-pack-zh-CN:对中文的支持
|
||||
* jupyterlab-lsp:用于自动补全、参数建议、函数文档查询、跳转定义
|
||||
* jupyterlab-execute-time: 用于显示代码执行时间
|
||||
* jedi-language-server: Python 语言服务器
|
||||
|
||||
**局部**
|
||||
|
||||
* R: r-languageserver: R 语言服务器
|
||||
|
||||
* Julia: julia-language-server: Julia 语言服务器
|
||||
|
||||
### 镜像依赖关系
|
||||
```mermaid
|
||||
graph LR
|
||||
|
@ -1,5 +1,3 @@
|
||||
ARG BASE_IMAGE
|
||||
|
||||
FROM debian:bookworm-slim
|
||||
|
||||
ARG PYPI_MIRROR
|
||||
@ -53,9 +51,9 @@ HEALTHCHECK --interval=3s --timeout=1s --start-period=3s --retries=3 \
|
||||
|
||||
USER ${NB_UID}
|
||||
|
||||
# install jupyter extension
|
||||
# install jupyterlab jupyterhub extension python-lsp
|
||||
RUN pip install 'jupyterlab' 'jupyterhub' && \
|
||||
pip install jupyterlab-language-pack-zh-CN jupyterlab-lsp jupyterlab-execute-time && \
|
||||
pip install jupyterlab-language-pack-zh-CN jupyterlab-lsp jupyterlab-execute-time jedi-language-server && \
|
||||
pip cache purge
|
||||
|
||||
WORKDIR "${HOME}"
|
||||
|
Loading…
x
Reference in New Issue
Block a user