Linux--如何读取ini文件