mirror of
https://github.com/jupyter/docker-stacks.git
synced 2025-10-16 06:22:56 +00:00
Merge pull request #1545 from mathbunnyru/asalikhov/try_old_mamba
Try to use old mamba version
This commit is contained in:
6
.github/workflows/docker.yml
vendored
6
.github/workflows/docker.yml
vendored
@@ -55,6 +55,12 @@ jobs:
|
|||||||
contents: write
|
contents: write
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
|
- name: Maximize build space
|
||||||
|
run: |
|
||||||
|
sudo rm -rf /usr/share/dotnet
|
||||||
|
sudo rm -rf /usr/local/lib/android
|
||||||
|
sudo rm -rf /opt/ghc
|
||||||
|
|
||||||
# Setup docker to build for multiple platforms, see:
|
# Setup docker to build for multiple platforms, see:
|
||||||
# https://github.com/docker/build-push-action/tree/master#usage
|
# https://github.com/docker/build-push-action/tree/master#usage
|
||||||
# https://github.com/docker/build-push-action/blob/master/docs/advanced/multi-platform.md
|
# https://github.com/docker/build-push-action/blob/master/docs/advanced/multi-platform.md
|
||||||
|
@@ -109,6 +109,18 @@ RUN set -x && \
|
|||||||
fix-permissions "${CONDA_DIR}" && \
|
fix-permissions "${CONDA_DIR}" && \
|
||||||
fix-permissions "/home/${NB_USER}"
|
fix-permissions "/home/${NB_USER}"
|
||||||
|
|
||||||
|
# Using fixed version of mamba in arm, because the latest one has problems with arm under qemu
|
||||||
|
# See: https://github.com/jupyter/docker-stacks/issues/1539
|
||||||
|
RUN set -x && \
|
||||||
|
arch=$(uname -m) && \
|
||||||
|
if [ "${arch}" == "aarch64" ]; then \
|
||||||
|
mamba install --quiet --yes \
|
||||||
|
'mamba<0.18' && \
|
||||||
|
mamba clean --all -f -y && \
|
||||||
|
fix-permissions "${CONDA_DIR}" && \
|
||||||
|
fix-permissions "/home/${NB_USER}"; \
|
||||||
|
fi;
|
||||||
|
|
||||||
# Install Jupyter Notebook, Lab, and Hub
|
# Install Jupyter Notebook, Lab, and Hub
|
||||||
# Generate a notebook server config
|
# Generate a notebook server config
|
||||||
# Cleanup temporary files
|
# Cleanup temporary files
|
||||||
|
Reference in New Issue
Block a user