From deaaaa276beb8188638e6e9e14a1f5e55bd4a9e6 Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <philippe.zwietering@gmail.com>
Date: Sun, 5 May 2024 00:12:09 +0200
Subject: [PATCH] Unnecessary sudo

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

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