sh fix
ci/woodpecker/push/woodpecker Pipeline failed Details

This commit is contained in:
Malte Grosse 2024-06-01 10:39:47 +02:00
parent c3914ed2a2
commit 438fe9e87b
1 changed files with 4 additions and 2 deletions

View File

@ -13,12 +13,14 @@ RUN apt-get update --yes && \
RUN export url="https://github.com/pgrok/pgrok/releases/download/v1.4.1/pgrok_1.4.1_linux_"; \ RUN export url="https://github.com/pgrok/pgrok/releases/download/v1.4.1/pgrok_1.4.1_linux_"; \
if [ `uname -m` == "aarch64" ]; then \ if [ `uname -m` == "aarch64" ]; then \
export arch='arm64' \ export arch='arm64' \
&& wget --quiet ${url}${arch}.tar.gz -O pgrok_linux_${arch}.tar.gz \ && wget --quiet ${url}${arch}.tar.gz -O pgrok_linux_${arch}.tar.gz ; \
else \ else \
export arch='amd64' \ export arch='amd64' \
&& wget --quiet ${url}${arch}.tar.gz -O pgrok_linux_${arch}.tar.gz \ && wget --quiet ${url}${arch}.tar.gz -O pgrok_linux_${arch}.tar.gz ; \
fi \
&& tar -xzf pgrok_linux_${arch}.tar.gz \ && tar -xzf pgrok_linux_${arch}.tar.gz \
&& mv task /usr/local/bin/pgrok && 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