diff --git a/Jenkinsfile b/Jenkinsfile index 77815e5..5aa0520 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,6 +37,9 @@ pipeline { sh ''' #!/bin/bash + echo -ne "I am user " + whoami + mkarchiso -v -w work -o out server '''