title: Jenkins pipeline: How to read an ini file with sections
body: <p>Could someone point me to any reference for reading values in an ini file with sections. Here is an example of the ini file</p>
  
  <pre><code>example.ini
  
  [ section1 ]
     [[ section 1a ]]
        key=value1
     [[ section 2a ]]
        key=value2
  [ section 2 ]
     [[ section 1a ]]
        key=value1
     [[ section 2a ]]
        key=value2
  </code></pre>
  
  <p>Hopefully there is something on the lines of:</p>
  
  <pre><code>x = readFile "example.ini"
  print x.section1."section 1a".key
  </code></pre>
  
  <p>An option is to convert the ini to json/properties - and then read that - any pointers to such a freeware conversion utility (windows/ubuntu) might also work.</p>