From 87dd5ead5eedc731de149c633ff14f89a71280f9 Mon Sep 17 00:00:00 2001
From: Julien Bigot <julien.bigot@cea.fr>
Date: Wed, 29 Jan 2025 10:57:57 +0100
Subject: [PATCH] Add missing download

---
 debuntu/mini/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debuntu/mini/Dockerfile b/debuntu/mini/Dockerfile
index 888b841..5227b46 100644
--- a/debuntu/mini/Dockerfile
+++ b/debuntu/mini/Dockerfile
@@ -91,6 +91,7 @@ WORKDIR /home/ci
 ENV HOME=/home/ci
 
 RUN curl --output pdi.tar.gz -L https://github.com/pdidev/pdi/archive/refs/heads/main.tar.gz
+RUN curl --output pdi-tutorial.tar.gz -L https://github.com/pdidev/tutorial/archive/refs/heads/main.tar.gz
 
 USER root:root
 WORKDIR /root