diff --git a/Jenkinsfile b/Jenkinsfile index 5aa0520..e4ad43d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,11 +37,14 @@ pipeline { sh ''' #!/bin/bash - echo -ne "I am user " - whoami - - mkarchiso -v -w work -o out server + mkdir -pv /tmp/archisotmp + cp -rv server /tmp/archisotmp/server + + mkarchiso -v -w "/tmp/archisotmp/work" -o /tmp/archisotmp/out "/tmp/archisotmp/server" + + cp -rv /tmp/archisotmp/out ./out + rm -rf /tmp/archisotmp ''' } } diff --git a/server/profiledef.sh b/server/profiledef.sh index 436fca3..bfacd66 100644 --- a/server/profiledef.sh +++ b/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" )