title: How do I grab an INI value within a shell script?
body: <p>I have a parameters.ini file, such as:</p>
  
  <pre><code>[parameters.ini]
      database_user    = user
      database_version = 20110611142248
  </code></pre>
  
  <p>I want to read in and use the database version specified in the parameters.ini file from within a bash shell script so I can process it.
  </p>
  
  <pre><code>#!/bin/sh    
  # Need to get database version from parameters.ini file to use in script    
  php app/console doctrine:migrations:migrate $DATABASE_VERSION
  </code></pre>
  
  <p>How would I do this?</p>