Pipelineを使うJenkinsで、グローバルの設定でPATHを付け加えたい場合はPATH+EXTRAを使用する

こんばんは。Jenkinsと戯れている今日この頃です。

• https://github.com/jenkinsci/workflow-durable-task-step-plugin/blob/0d46ca1475a306abe70250b1b96efaffdf14b763/src/main/java/org/jenkinsci/plugins/workflow/steps/durable_task/ShellStep.java#L60
• https://stackoverflow.com/questions/43987005/jenkins-does-not-recognize-command-sh/48634476#48634476

キー: PATH
値: /usr/local/bin:$PATH

ではなくて、

キー: PATH+EXTRA
値: /usr/local/bin

とする必要がある。こちらからは以上です。