view libervia/tui/config.py @ 4202:b26339343076

core: use a user specific directory for PID file: default location of pid file is now specific to logged user, this allow to run several instances of Libervia by different users on the same machine without PID conflicts.
author Goffi <goffi@goffi.org>
date Sun, 14 Jan 2024 17:48:02 +0100
parents b620a8e882e1
children b0c36f3d3e04
line wrap: on
line source

#!/usr/bin/env python3


# Libervia TUI
# Copyright (C) 2009-2021 Jérôme Poisson (goffi@goffi.org)

# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU Affero General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.

# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU Affero General Public License for more details.

# You should have received a copy of the GNU Affero General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

"""This module manage configuration specific to LiberviaTUI"""

from libervia.tui.constants import Const as C
from libervia.tui.keys import action_key_map
import configparser


def apply_config(host):
    """Parse configuration and apply found change

    raise: can raise various Exceptions if configuration is not good
    """
    config = configparser.SafeConfigParser()
    config.read(C.CONFIG_FILES)
    try:
        options = config.items(C.CONFIG_SECTION)
    except configparser.NoSectionError:
        options = []
    shortcuts = {}
    for name, value in options:
        if name.startswith(C.CONFIG_OPT_KEY_PREFIX.lower()):
            action = name[len(C.CONFIG_OPT_KEY_PREFIX) :].upper()
            shortcut = value
            if not action or not shortcut:
                raise ValueError("Bad option: {} = {}".format(name, value))
            shortcuts[action] = shortcut
        if name == "disable_mouse":
            host.loop.screen.set_mouse_tracking(False)

    action_key_map.replace(shortcuts)
    action_key_map.check_namespaces()