add pgrok
ci/woodpecker/push/woodpecker Pipeline failed
Details
ci/woodpecker/push/woodpecker Pipeline failed
Details
This commit is contained in:
parent
d3478334ad
commit
3a24118d0e
|
@ -5,7 +5,7 @@ steps:
|
||||||
registry: git.sandbox.iuk.hdm-stuttgart.de
|
registry: git.sandbox.iuk.hdm-stuttgart.de
|
||||||
repository: grosse/jupyterlab-datascience
|
repository: grosse/jupyterlab-datascience
|
||||||
tag: 4.0.12e
|
tag: 4.0.12e
|
||||||
architectures: aarch64 amd64
|
architectures: amd64 # aarch64
|
||||||
context: Dockerfile
|
context: Dockerfile
|
||||||
imagename: jupyterlab-datascience
|
imagename: jupyterlab-datascience
|
||||||
username:
|
username:
|
||||||
|
|
11
Dockerfile
11
Dockerfile
|
@ -9,6 +9,17 @@ USER root
|
||||||
RUN apt-get update --yes && \
|
RUN apt-get update --yes && \
|
||||||
apt-get install --yes --no-install-recommends \
|
apt-get install --yes --no-install-recommends \
|
||||||
git-lfs
|
git-lfs
|
||||||
|
# Install pgrok
|
||||||
|
RUN export url="https://github.com/pgrok/pgrok/releases/download/v1.4.1/pgrok_1.4.1_linux_"; \
|
||||||
|
if [ `uname -m` == "aarch64" ]; then \
|
||||||
|
export arch='arm64' \
|
||||||
|
&& wget --quiet ${url}${arch}.tar.gz -O pgrok_linux_${arch}.tar.gz \
|
||||||
|
else \
|
||||||
|
export arch='amd64' \
|
||||||
|
&& wget --quiet ${url}${arch}.tar.gz -O pgrok_linux_${arch}.tar.gz \
|
||||||
|
fi \
|
||||||
|
&& tar -xzf pgrok_linux_${arch}.tar.gz \
|
||||||
|
&& mv task /usr/local/bin/pgrok
|
||||||
USER ${NB_UID}
|
USER ${NB_UID}
|
||||||
RUN echo "install custom extensions "
|
RUN echo "install custom extensions "
|
||||||
RUN pip install --extra-index-url https://git.sandbox.iuk.hdm-stuttgart.de/api/packages/grosse/pypi/simple jupyterlab-sandbox-theme==0.1.6
|
RUN pip install --extra-index-url https://git.sandbox.iuk.hdm-stuttgart.de/api/packages/grosse/pypi/simple jupyterlab-sandbox-theme==0.1.6
|
||||||
|
|
Loading…
Reference in New Issue