Jenkinsfile

@@ -37,11 +37,14 @@ pipeline {
                     sh '''
                     #!/bin/bash
 
-                    echo -ne "I am user "
-                    whoami
+                    mkdir -pv /tmp/archisotmp
+                    cp -rv server /tmp/archisotmp/server
 
-                    mkarchiso -v -w work -o out server
 
+                    mkarchiso -v -w "/tmp/archisotmp/work" -o /tmp/archisotmp/out "/tmp/archisotmp/server"
+
+                    cp -rv /tmp/archisotmp/out ./out
+                    rm -rf /tmp/archisotmp
                     '''
                 }
             }

server/profiledef.sh

@@ -21,4 +21,6 @@ file_permissions=(
   ["/root"]="0:0:750"
   ["/root/.automated_script.sh"]="0:0:755"
   ["/root/.gnupg"]="0:0:700"
+  ["/usr/local/bin/choose-mirror"]="0:0:755"
+  ["/usr/local/bin/livecd-sound"]="0:0:755"
 )