diff --git a/Jenkins/Jenkinsfile-deb-pkg b/Jenkins/Jenkinsfile-deb-pkg index 31e5975..191539f 100644 --- a/Jenkins/Jenkinsfile-deb-pkg +++ b/Jenkins/Jenkinsfile-deb-pkg @@ -71,7 +71,7 @@ pipeline { script { sh ''' V=$(grep -E "^## \\[[0-9]+\\.[0-9]+\\.[0-9]+" CHANGELOG.md | head -1 | \ - sed -E "s/^## \\[([0-9]+\\.[0-9]+\\.[0-9]+[^\\]]*)\\].*/\\1/") + sed 's/^## \[\([^]]*\)\].*/\1/' echo "V=$V" >src/VERSION echo "Versión extraída: $V" src/update.py