##// END OF EJS Templates
Parse direct option of the quote tag in addition to the source option
Parse direct option of the quote tag in addition to the source option

File last commit:

r1157:d41f2b1c merge decentral
r1398:a28c6a15 default
Show More
settings.py
18 lines | 346 B | text/x-python | PythonLexer
import configparser
config = configparser.ConfigParser()
config.read('boards/config/default_settings.ini')
config.read('boards/config/settings.ini')
def get(section, name):
return config[section][name]
def get_int(section, name):
return int(get(section, name))
def get_bool(section, name):
return get(section, name) == 'true'