From bcf3377190b02efd226cd6b025d6673316594c7f Mon Sep 17 00:00:00 2001
From: reverend <reverend@reverend2048.de>
Date: Sat, 10 Jul 2021 13:42:26 +0200
Subject: [PATCH] Trying to use pipenv in jenkins

---
 Jenkinsfile | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5b185c1..57a7565 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,17 @@
 pipeline {
 	agent any
 	
+	environment {
+        // pyenv
+        PYENV_ROOT="$HOME/.pyenv"
+        PYENV_SHELL="bash"
+        // pipenv
+        PIPENV_YES="true"
+        PIPENV_NOSPIN="YES"
+        WORKON_HOME="$WORKSPACE/venv"
+        PATH="$PYENV_ROOT/bin:/opt/packer:$PATH"
+    }
+	
 	stages {
 		stage('migration') {
 			steps {