From b27c0d18722cc3f58b4213c353165b99a0df91c8 Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <philippe.zwietering@gmail.com>
Date: Thu, 22 Jan 2026 23:41:42 +0100
Subject: [PATCH] Geen sudo meer nodig

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e3cd0d2..2aa446c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,7 +13,7 @@ pipeline {
         stage('Deploy') {
             steps{
                 echo 'Starting deploy step...'
-                sh 'sudo cp out/main_text.pdf /var/www/zwietering.eu/pdfs/real_analysis.pdf'
+                sh 'cp out/main_text.pdf /var/www/zwietering.eu/pdfs/real_analysis.pdf'
             }
         }
     }