From 2fcec72298d8d52d9616ef0e743725f2b994fd3a Mon Sep 17 00:00:00 2001
From: Wojciech Jarmosz <wojciech@jarmosz.com>
Date: Sun, 28 Mar 2021 18:37:42 +0200
Subject: [PATCH] Change CUTOFF parameter definition

---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c29a77a..e1fa8ed 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,9 +1,11 @@
 pipeline {
 agent any 
+parameters {
+    string(defaultValue: '5', description: 'Amount of lines to cut off the file.', name: 'CUTOFF', trim: false)
+}
 stages {
     stage('Clone repo + run bash script') { 
            steps { 
-            properties([parameters([string(defaultValue: '5', description: 'Amount of lines to cut off the file.', name: 'CUTOFF', trim: false)])])
             withEnv(["KAGGLE_USERNAME=${params.KAGGLE_USERNAME}",
             "KAGGLE_KEY=${params.KAGGLE_KEY}", "CUTOFF=${params.CUTOFF}" ]) {
                 // Uruchomienie skryptu