From 3a24118d0e012e82c1b2b9a1b01e08d72a928808 Mon Sep 17 00:00:00 2001
From: Malte Grosse <malte.grosse@googlemail.com>
Date: Sat, 1 Jun 2024 10:23:25 +0200
Subject: [PATCH] add pgrok

---
 .woodpecker.yml |  2 +-
 Dockerfile      | 11 +++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/.woodpecker.yml b/.woodpecker.yml
index 71b05c2..9a6a21d 100644
--- a/.woodpecker.yml
+++ b/.woodpecker.yml
@@ -5,7 +5,7 @@ steps:
       registry: git.sandbox.iuk.hdm-stuttgart.de
       repository: grosse/jupyterlab-datascience
       tag: 4.0.12e
-      architectures: aarch64 amd64
+      architectures: amd64 # aarch64 
       context: Dockerfile
       imagename: jupyterlab-datascience
       username:
diff --git a/Dockerfile b/Dockerfile
index f520138..e28802a 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -9,6 +9,17 @@ USER root
 RUN apt-get update --yes && \
     apt-get install --yes --no-install-recommends \
     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}
 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