Update virtual machine id

ghostery · Mar 6, 2019 · 1474558b99bb491e6a31b029fb6c4dab5a9b5a5c · 1474558
1 parent 739f679
commit 1474558b99bb491e6a31b029fb6c4dab5a9b5a5c
Unified Split

Showing with 1 addition and 1 deletion.

+1 −1 Jenkinsfile.publish
diff --git a/Jenkinsfile.publish b/Jenkinsfile.publish
@@ -43,7 +43,7 @@ node('gideon') {
         set -x
         mkdir -p .vagrant/machines/publishios/virtualbox
         cd .vagrant/machines/publishios/virtualbox/
-        if [ ! -f id ]; then touch id && echo "a089a286-2483-4af0-9754-ecb5bb2d06be" >> id; fi
+        if [ ! -f id ]; then touch id && echo "1b070f2c-9c26-470f-9d81-58e109313b47" >> id; fi
     '''
 
     vagrant.inside(