title: Jenkins pipeline: Get value from ini file
body: <p>I want to get a value from an INI file (the version build number), and set the description of the Jenkins job based on this value. I haven't found an INI file Jenkins plugin, so I guess I would use a PowerShell or Batch script to interpret the INI file.</p>
  
  <p>But what is the best way to get this value into the Jenkins pipeline job? Store it in an environment variable? Write it to a plain text file? Is there some convention for doing such things with Jenkins?</p>