mirror of
https://github.com/jupyter/docker-stacks.git
synced 2025-10-09 19:12:59 +00:00
39582f7099
* Install Pluto.jl and jupyter-pluto-proxy [Pluto.jl](https://plutojl.org/) is an alternative reactive notebook frontend focused specifically on Julia. I think shipping this by default in the julia-enabled images helps serve the Julia community better, particularly when used with JupyterHub. For context, I am working with the Julia users of the [Jupyter Meets the Earth](https://jupytearth.org/) project, and trying to understand how to best serve their needs on a JupyterHub. We currently maintain a massive image that 'has everything', but I'm trying to instead work upstream wherever possible so everyone working in these subfields can benefit. Meeting Julia users where they are at seems a useful path forward here. * Add note about Pluto.jl to selecting.md * Default to replacing - with _ in package imports * Add jupyter-pluto-proxy to package import mapping * Add Pluto.jl to datascience-notebook image * Add test for pluto proxy starting correctly * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci * Update test_packages.py --------- Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com> Co-authored-by: Ayaz Salikhov <mathbunnyru@users.noreply.github.com>
34 lines
975 B
Bash
Executable File
34 lines
975 B
Bash
Executable File
#!/bin/bash
|
|
set -exuo pipefail
|
|
# Requirements:
|
|
# - Run as non-root user
|
|
# - The JULIA_PKGDIR environment variable is set
|
|
# - Julia is already set up, with the setup-julia.bash command
|
|
|
|
# Install base Julia packages
|
|
julia -e '
|
|
import Pkg;
|
|
Pkg.update();
|
|
Pkg.add([
|
|
"HDF5",
|
|
"IJulia",
|
|
"Pluto"
|
|
]);
|
|
Pkg.precompile();
|
|
'
|
|
|
|
# Move the kernelspec out to the system share location. Avoids
|
|
# problems with runtime UID change not taking effect properly on the
|
|
# .local folder in the jovyan home dir. move kernelspec out of home
|
|
mv "${HOME}/.local/share/jupyter/kernels/julia"* "${CONDA_DIR}/share/jupyter/kernels/"
|
|
chmod -R go+rx "${CONDA_DIR}/share/jupyter"
|
|
rm -rf "${HOME}/.local"
|
|
fix-permissions "${JULIA_PKGDIR}" "${CONDA_DIR}/share/jupyter"
|
|
|
|
# Install jupyter-pluto-proxy to get Pluto to work on JupyterHub
|
|
mamba install --yes \
|
|
'jupyter-pluto-proxy' && \
|
|
mamba clean --all -f -y && \
|
|
fix-permissions "${CONDA_DIR}" && \
|
|
fix-permissions "/home/${NB_USER}"
|