Shell steps in the post-action block.

Jenkinsfile

@@ -98,7 +98,6 @@ pipeline {
                 cp "${agent_root_folder}/${maven_settings_file}" "${agent_root_folder}/settings.xml"
                 echo "Done with local repository"
                 '''
-
             }
         }
         // the maven-parent needs to be built (once) at each execution
@@ -197,7 +196,11 @@ pipeline {
 	post {
         always {
              echo 'The default maven settings have been restored'
-             mv "${agent_root_folder}/settings.${PIPELINE_BUILD_NUMBER}" "${agent_root_folder}/settings.xml"
+             steps {
+                  sh '''
+                  mv "${agent_root_folder}/settings.${PIPELINE_BUILD_NUMBER}" "${agent_root_folder}/settings.xml"
+                  '''
+             }
         }
         success {
             echo 'The pipeline worked!'