diff --git a/Jenkinsfile b/Jenkinsfile
index bbcb90e..1a3844d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -43,6 +43,9 @@ pipeline {
             agent any
             steps {
                 unstash 'html'
+                sh 'ls docs/build/html'
+                sh 'df -hT'
+                sh 'hostname'
                 sh 'cp -r docs/build/html /opt/esbo-etc/'
             }
         }