diff --git a/scripts/install b/scripts/install index bf958ef..c4bfb34 100644 --- a/scripts/install +++ b/scripts/install @@ -51,6 +51,7 @@ wget -q -O - https://pkg.jenkins.io/debian/jenkins.io.key | sudo apt-key add - sudo sh -c 'echo deb http://pkg.jenkins.io/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list' sudo apt-get update +sudo apt-get install default-jre-headless -y sudo apt-get install jenkins -y # Renseigne le port diff --git a/scripts/restore b/scripts/restore index 274484a..eb29ae5 100644 --- a/scripts/restore +++ b/scripts/restore @@ -34,6 +34,7 @@ wget -q -O - https://pkg.jenkins.io/debian/jenkins.io.key | sudo apt-key add - sudo sh -c 'echo deb http://pkg.jenkins.io/debian-stable binary/ > /etc/apt/sources.list.d/jenkins.list' sudo apt-get update +sudo apt-get install default-jre-headless -y sudo apt-get install jenkins -y # Restore sources & data