From e248f45981da3de78fd593dbbe1cbfd9bb0e5a02 Mon Sep 17 00:00:00 2001
From: s444417 <mikolaj12341230@gmail.com>
Date: Thu, 24 Mar 2022 19:05:28 +0100
Subject: [PATCH] fix 11

---
 Jenkinsfile | 32 +++++++++++++++++++-------------
 1 file changed, 19 insertions(+), 13 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b8a4f99..292e799 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,18 +1,24 @@
 pipeline {
     agent any
-    properties([
-            parameters(
-                [password(defaultValue: '', 
-                description: 'Kaggle token taken from kaggle.json file, as described in https://github.com/Kaggle/kaggle-api#api-credentials', 
-                name: 'KAGGLE_KEY'), 
-                string(defaultValue: 'mikolaj2', 
-                description: 'Kaggle username', 
-                name: 'KAGGLE_USERNAME'), 
-                string(description: 'Value for head command', 
-                name: 'CUTOFF')]
-            ), 
-        pipelineTriggers([[$class: 'GogsTrigger']])
-    ])
+    options {
+            parameters{
+                password(
+                    defaultValue: '', 
+                    description: 'Kaggle token taken from kaggle.json file, as described in https://github.com/Kaggle/kaggle-api#api-credentials', 
+                    name: 'KAGGLE_KEY'
+                ), 
+                string(
+                    defaultValue: 'mikolaj2', 
+                    description: 'Kaggle username', 
+                    name: 'KAGGLE_USERNAME'
+                    ), 
+                string(
+                    defaultValue: '',
+                    description: 'Value for head command', 
+                    name: 'CUTOFF'
+                    )
+            }
+    }
     environment {
         KAGGLE_USERNAME="$params.KAGGLE_USERNAME"
         KAGGLE_KEY="$params.KAGGLE_KEY"