我有一个parameters.ini文件，如：
[parameters.ini]
database_user = user
database_version = 20110611142248
我想从bash shell脚本中读入并使用parameters.ini文件中指定的数据库版本，以便我可以处理它。
#!/bin/sh # Need to get database version from parameters.ini file to use in script PHP app/console doctrine:migrations:migrate $DATABASE_VERSION
我该怎么做？
如何greping那条线，然后使用awk
version=$(awk -F "=" '/database_version/ {print $2}' parameters.ini)
