2011-09-06 00:45:53 +00:00
|
|
|
|
# Copyright 2010-2011 Florent Le Coz <louiz@louiz.org>
|
2010-01-10 20:14:17 +00:00
|
|
|
|
#
|
|
|
|
|
# This file is part of Poezio.
|
|
|
|
|
#
|
|
|
|
|
# Poezio is free software: you can redistribute it and/or modify
|
2011-09-11 15:10:05 +00:00
|
|
|
|
# it under the terms of the zlib license. See the COPYING file.
|
2010-01-10 20:14:17 +00:00
|
|
|
|
|
2010-05-18 13:29:02 +00:00
|
|
|
|
"""
|
|
|
|
|
Defines the global config instance, used to get or set (and save) values
|
|
|
|
|
from/to the config file
|
|
|
|
|
"""
|
|
|
|
|
|
2010-12-15 22:24:48 +00:00
|
|
|
|
DEFSECTION = "Poezio"
|
|
|
|
|
|
2010-12-17 14:39:44 +00:00
|
|
|
|
from configparser import RawConfigParser, NoOptionError, NoSectionError
|
2010-07-08 20:15:02 +00:00
|
|
|
|
from os import environ, makedirs, path
|
2010-01-31 05:33:54 +00:00
|
|
|
|
from shutil import copy2
|
2012-08-06 13:01:39 +00:00
|
|
|
|
from args import parse_args
|
2010-01-10 20:14:17 +00:00
|
|
|
|
|
|
|
|
|
class Config(RawConfigParser):
|
|
|
|
|
"""
|
|
|
|
|
load/save the config to a file
|
|
|
|
|
"""
|
|
|
|
|
def __init__(self, file_name):
|
|
|
|
|
self.file_name = file_name
|
|
|
|
|
RawConfigParser.__init__(self, None)
|
2012-09-13 07:48:35 +00:00
|
|
|
|
RawConfigParser.read(self, file_name, encoding='utf-8')
|
2011-07-05 21:48:28 +00:00
|
|
|
|
# Check config integrity and fix it if it’s wrong
|
|
|
|
|
for section in ('bindings', 'var'):
|
|
|
|
|
if not self.has_section(section):
|
|
|
|
|
self.add_section(section)
|
2010-01-10 20:14:17 +00:00
|
|
|
|
|
2010-12-15 22:24:48 +00:00
|
|
|
|
def get(self, option, default, section=DEFSECTION):
|
2010-01-26 19:33:40 +00:00
|
|
|
|
"""
|
|
|
|
|
get a value from the config but return
|
|
|
|
|
a default value if it is not found
|
|
|
|
|
The type of default defines the type
|
|
|
|
|
returned
|
|
|
|
|
"""
|
2010-05-18 13:29:02 +00:00
|
|
|
|
try:
|
2010-01-26 19:33:40 +00:00
|
|
|
|
if type(default) == int:
|
2010-12-17 14:36:14 +00:00
|
|
|
|
res = self.getint(option, section)
|
2010-01-26 19:33:40 +00:00
|
|
|
|
elif type(default) == float:
|
2010-12-17 14:36:14 +00:00
|
|
|
|
res = self.getfloat(option, section)
|
2010-01-26 19:33:40 +00:00
|
|
|
|
elif type(default) == bool:
|
2010-12-17 14:36:14 +00:00
|
|
|
|
res = self.getboolean(option, section)
|
2010-01-26 19:33:40 +00:00
|
|
|
|
else:
|
2010-12-17 14:36:14 +00:00
|
|
|
|
res = self.getstr(option, section)
|
2011-11-28 21:32:44 +00:00
|
|
|
|
except (NoOptionError, NoSectionError):
|
2010-01-26 19:33:40 +00:00
|
|
|
|
return default
|
|
|
|
|
return res
|
|
|
|
|
|
2012-04-18 13:54:16 +00:00
|
|
|
|
def getl(self, option, default, section=DEFSECTION):
|
|
|
|
|
"""
|
|
|
|
|
get a value and return it lowercase
|
|
|
|
|
"""
|
|
|
|
|
return self.get(option, default, section).lower()
|
|
|
|
|
|
2011-11-28 21:32:44 +00:00
|
|
|
|
def get_by_tabname(self, option, default, tabname, fallback=True):
|
|
|
|
|
"""
|
|
|
|
|
Try to get the value for the option. First we look in
|
|
|
|
|
a section named `tabname`, if the option is not present
|
|
|
|
|
in the section, we search for the global option if fallback is
|
|
|
|
|
True. And we return `default` as a fallback as a last resort.
|
|
|
|
|
"""
|
|
|
|
|
if tabname in self.sections():
|
|
|
|
|
if option in self.options(tabname):
|
|
|
|
|
# We go the tab-specific option
|
|
|
|
|
return self.get(option, default, tabname)
|
|
|
|
|
if fallback:
|
|
|
|
|
# We fallback to the global option
|
|
|
|
|
return self.get(option, default)
|
|
|
|
|
return default
|
|
|
|
|
|
2010-12-15 22:24:48 +00:00
|
|
|
|
def __get(self, option, section=DEFSECTION):
|
2010-05-18 13:29:02 +00:00
|
|
|
|
"""
|
|
|
|
|
facility for RawConfigParser.get
|
|
|
|
|
"""
|
2010-12-15 22:24:48 +00:00
|
|
|
|
return RawConfigParser.get(self, section, option)
|
2010-01-10 20:14:17 +00:00
|
|
|
|
|
2010-12-15 22:24:48 +00:00
|
|
|
|
def getstr(self, option, section=DEFSECTION):
|
2010-05-18 13:29:02 +00:00
|
|
|
|
"""
|
|
|
|
|
get a value and returns it as a string
|
|
|
|
|
"""
|
2010-12-15 22:24:48 +00:00
|
|
|
|
return self.__get(option, section)
|
2010-01-26 17:10:37 +00:00
|
|
|
|
|
2010-12-15 22:24:48 +00:00
|
|
|
|
def getint(self, option, section=DEFSECTION):
|
2010-05-18 13:29:02 +00:00
|
|
|
|
"""
|
|
|
|
|
get a value and returns it as an int
|
|
|
|
|
"""
|
2010-05-11 16:45:14 +00:00
|
|
|
|
try:
|
2010-12-15 22:24:48 +00:00
|
|
|
|
return int(self.__get(option, section))
|
2010-05-11 16:45:14 +00:00
|
|
|
|
except ValueError:
|
|
|
|
|
return -1
|
2010-01-10 20:14:17 +00:00
|
|
|
|
|
2010-12-15 22:24:48 +00:00
|
|
|
|
def getfloat(self, option, section=DEFSECTION):
|
2010-05-18 13:29:02 +00:00
|
|
|
|
"""
|
|
|
|
|
get a value and returns it as a float
|
|
|
|
|
"""
|
2010-12-15 22:24:48 +00:00
|
|
|
|
return float(self.__get(option, section))
|
2010-01-10 20:14:17 +00:00
|
|
|
|
|
2010-12-15 22:24:48 +00:00
|
|
|
|
def getboolean(self, option, section=DEFSECTION):
|
2010-05-18 13:29:02 +00:00
|
|
|
|
"""
|
|
|
|
|
get a value and returns it as a boolean
|
|
|
|
|
"""
|
2010-12-15 22:24:48 +00:00
|
|
|
|
return RawConfigParser.getboolean(self, section, option)
|
2010-01-10 20:14:17 +00:00
|
|
|
|
|
2010-08-09 00:05:44 +00:00
|
|
|
|
def write_in_file(self, section, option, value):
|
|
|
|
|
"""
|
|
|
|
|
Our own way to save write the value in the file
|
|
|
|
|
Just find the right section, and then find the
|
|
|
|
|
right option, and edit it.
|
2010-12-15 22:24:48 +00:00
|
|
|
|
|
|
|
|
|
TODO: make it write also new values in the file, not just what did already
|
|
|
|
|
exist
|
2010-08-09 00:05:44 +00:00
|
|
|
|
"""
|
2012-05-09 17:17:53 +00:00
|
|
|
|
if path.exists(self.file_name):
|
2012-09-13 07:48:35 +00:00
|
|
|
|
df = open(self.file_name, 'r', encoding='utf-8')
|
2012-05-09 17:17:53 +00:00
|
|
|
|
lines_before = (line.strip() for line in df.readlines())
|
|
|
|
|
df.close()
|
|
|
|
|
else:
|
|
|
|
|
lines_before = []
|
2010-08-09 00:05:44 +00:00
|
|
|
|
result_lines = []
|
|
|
|
|
we_are_in_the_right_section = False
|
2012-02-09 14:45:18 +00:00
|
|
|
|
written = False
|
|
|
|
|
section_found = False
|
2010-08-09 00:05:44 +00:00
|
|
|
|
for line in lines_before:
|
|
|
|
|
if line.startswith('['): # check the section
|
2012-02-09 14:45:18 +00:00
|
|
|
|
if we_are_in_the_right_section and not written:
|
2012-07-25 22:09:23 +00:00
|
|
|
|
result_lines.append('%s = %s' % (option, value))
|
2012-03-08 21:38:26 +00:00
|
|
|
|
written = True
|
2010-08-09 00:05:44 +00:00
|
|
|
|
if line == '[%s]' % section:
|
|
|
|
|
we_are_in_the_right_section = True
|
2012-02-09 14:45:18 +00:00
|
|
|
|
section_found = True
|
2010-08-09 00:05:44 +00:00
|
|
|
|
else:
|
|
|
|
|
we_are_in_the_right_section = False
|
2010-12-15 22:24:48 +00:00
|
|
|
|
if (line.startswith('%s ' % (option,)) or
|
2012-02-09 14:45:18 +00:00
|
|
|
|
line.startswith('%s=' % (option,)) or
|
|
|
|
|
line.startswith('%s = ' % (option,))) and we_are_in_the_right_section:
|
2012-07-25 22:09:23 +00:00
|
|
|
|
line = '%s = %s' % (option, value)
|
2012-02-09 14:45:18 +00:00
|
|
|
|
written = True
|
2010-08-09 00:05:44 +00:00
|
|
|
|
result_lines.append(line)
|
2012-02-09 14:45:18 +00:00
|
|
|
|
|
|
|
|
|
if not section_found:
|
|
|
|
|
result_lines.append('[%s]' % section)
|
2012-07-25 22:09:23 +00:00
|
|
|
|
result_lines.append('%s = %s' % (option, value))
|
2012-02-09 14:45:18 +00:00
|
|
|
|
elif not written:
|
2012-07-25 22:09:23 +00:00
|
|
|
|
result_lines.append('%s = %s' % (option, value))
|
2012-02-09 14:45:18 +00:00
|
|
|
|
|
|
|
|
|
|
2012-09-13 07:48:35 +00:00
|
|
|
|
df = open(self.file_name, 'w', encoding='utf-8')
|
2010-08-09 00:05:44 +00:00
|
|
|
|
for line in result_lines:
|
|
|
|
|
df.write('%s\n' % line)
|
|
|
|
|
df.close()
|
2010-01-10 20:14:17 +00:00
|
|
|
|
|
2010-12-15 22:24:48 +00:00
|
|
|
|
def set_and_save(self, option, value, section=DEFSECTION):
|
2010-05-18 13:29:02 +00:00
|
|
|
|
"""
|
|
|
|
|
set the value in the configuration then save it
|
|
|
|
|
to the file
|
|
|
|
|
"""
|
2012-02-09 14:45:18 +00:00
|
|
|
|
if self.has_section(section):
|
|
|
|
|
RawConfigParser.set(self, section, option, value)
|
|
|
|
|
else:
|
|
|
|
|
self.add_section(section)
|
2010-12-17 14:48:31 +00:00
|
|
|
|
RawConfigParser.set(self, section, option, value)
|
2010-12-15 22:24:48 +00:00
|
|
|
|
self.write_in_file(section, option, value)
|
2010-07-08 01:30:51 +00:00
|
|
|
|
|
2011-09-10 14:41:47 +00:00
|
|
|
|
def set(self, option, value, section=DEFSECTION):
|
|
|
|
|
"""
|
|
|
|
|
Set the value of an option temporarily
|
|
|
|
|
"""
|
|
|
|
|
try:
|
|
|
|
|
RawConfigParser.set(self, section, option, value)
|
|
|
|
|
except NoSectionError:
|
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
firstrun = False
|
|
|
|
|
|
2010-05-18 13:29:02 +00:00
|
|
|
|
# creates the configuration directory if it doesn't exist
|
|
|
|
|
# and copy the default config in it
|
2010-01-31 05:33:54 +00:00
|
|
|
|
CONFIG_HOME = environ.get("XDG_CONFIG_HOME")
|
|
|
|
|
if not CONFIG_HOME:
|
2011-06-04 18:44:14 +00:00
|
|
|
|
CONFIG_HOME = path.join(environ.get('HOME'), '.config')
|
2011-06-04 18:15:18 +00:00
|
|
|
|
CONFIG_PATH = path.join(CONFIG_HOME, 'poezio')
|
2010-01-31 14:28:21 +00:00
|
|
|
|
try:
|
|
|
|
|
makedirs(CONFIG_PATH)
|
2010-05-18 13:29:02 +00:00
|
|
|
|
except OSError:
|
|
|
|
|
pass
|
2010-01-31 05:33:54 +00:00
|
|
|
|
|
2011-06-04 18:44:14 +00:00
|
|
|
|
if not path.isfile(path.join(CONFIG_PATH, 'poezio.cfg')):
|
2011-06-04 18:15:18 +00:00
|
|
|
|
copy2(path.join(path.dirname(__file__), '../data/default_config.cfg'), path.join(CONFIG_PATH, 'poezio.cfg'))
|
2011-09-10 14:41:47 +00:00
|
|
|
|
firstrun = True
|
2010-07-08 20:15:02 +00:00
|
|
|
|
|
2012-08-06 13:01:39 +00:00
|
|
|
|
options = parse_args(CONFIG_PATH)
|
2010-09-07 23:36:57 +00:00
|
|
|
|
config = Config(options.filename)
|
2011-09-10 14:41:47 +00:00
|
|
|
|
if firstrun:
|
|
|
|
|
config.set('firstrun', True)
|