Jenkinsfile: refactor destination and DESTINATION

Author: sabicalija

Jenkinsfile

@@ -6,7 +6,7 @@ pipeline {
     booleanParam(name: 'store', defaultValue: false, description: 'Store build')
     booleanParam(name: 'release', defaultValue: false, description: 'Release build')
     password(name: 'GH_TOKEN', defaultValue: '', description: 'Github user token. Note: don\'t use a password, will be logged to console on error.')
-    choice(name: 'destination', description: 'Destination folder', choices: ['asterics-web-devlinux/docs', 'asterics-web-devwindows/docs', 'asterics-web-production/docs' ])
+    choice(name: 'dest', description: 'Destination folder', choices: ['asterics-web-devlinux/docs', 'asterics-web-devwindows/docs', 'asterics-web-production/docs' ])
     choice(name: 'agent', description: 'Agent', choices: ['Linux', 'Win'])
     choice(name: 'image', description: 'Docker Image', choices: ['node:10', 'node:11'])
     gitParameter(name: 'BRANCH', branchFilter: 'origin.*?/(.*)', defaultValue: 'master', type: 'PT_BRANCH_TAG', useRepository: 'asterics-docs')
@@ -137,8 +137,8 @@ pipeline {
             '''
             script {
               def remote = [ name: 'studyathome', host: 'studyathome.technikum-wien.at', user: env.SERVER_USR, password: env.SERVER_PSW, allowAnyHosts: true ]
-              sshRemove remote: remote, path: "/var/www/html/${params.destination}", failOnError: false
-              sshPut remote: remote, from: 'build/docs', into: "/var/www/html/${params.destination.replace("/docs", "")}"
+              sshRemove remote: remote, path: "/var/www/html/${params.dest}", failOnError: false
+              sshPut remote: remote, from: 'build/docs', into: "/var/www/html/${params.dest.replace("/docs", "")}"
             }
           }
         }