Improve plugin installation

2024-10-01 14:12:34 +02:00 · 2024-10-01 14:12:34 +02:00 · 35c44c163f
parent 231cbe92d8
commit 35c44c163f
1 changed files with 8 additions and 1 deletions
--- a/tests/API-dhcp/Jenkinsfile
+++ b/tests/API-dhcp/Jenkinsfile
@ -18,7 +18,14 @@ pipeline {
            steps {
                dir ('tests/API-dhcp') {
                    echo "Install vagrant plugin"
-                    sh 'vagrant plugin install vagrant-vmware-esxi'
+                    sh '''
+                    if ! vagrant plugin list | grep -q vagrant-vmware-esxi; then
+                        echo "Vagrant plugin vagrant-vmware-esxi not found. Installing..."
+                        vagrant plugin install vagrant-vmware-esxi
+                    else
+                        echo "Vagrant plugin vagrant-vmware-esxi is already installed."
+                    fi
+                    '''
                    echo "Deploy API server for DHCP with Vagrant"
                    sh 'vagrant up --provider=vmware_esxi --provision'
                }