Utiliser curl
plutôt que wget
pour uniformiser avec les autres pipelines
(et `wget` spamme les logs)
This commit is contained in:
parent
94183f771f
commit
8e15b22912
1 changed files with 1 additions and 1 deletions
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
|
@ -5,7 +5,7 @@ pipeline {
|
||||||
stage('Télécharger l\'export OSM de la France') {
|
stage('Télécharger l\'export OSM de la France') {
|
||||||
steps {
|
steps {
|
||||||
script {
|
script {
|
||||||
sh 'wget http://download.openstreetmap.fr/extracts/europe/france-latest.osm.pbf'
|
sh 'curl -L -o france-latest.osm.pbf http://download.openstreetmap.fr/extracts/europe/france-latest.osm.pbf'
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue