How do I grab an INI value within a shell script? How do I grab an INI value within a shell script? bash bash