BASH INI file editor