Mercurial > libervia-backend
view sat_frontends/primitivus/config.py @ 3743:54c249ec35ce
core (memory/migration): ignore FTS table when autogenerating script for migration:
SQLite Full-Text Search stable are not associated to Python object and can't be detected
by Alembic. To avoid the generation of unwanted drop commands, they are now ignored when
autogenerating migration scripts.
rel 364
author | Goffi <goffi@goffi.org> |
---|---|
date | Tue, 22 Mar 2022 17:00:42 +0100 |
parents | be6d91572633 |
children | 524856bd7b19 |
line wrap: on
line source
#!/usr/bin/env python3 # Primitivus: a SAT frontend # 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 Primitivus""" from sat_frontends.primitivus.constants import Const as C from sat_frontends.primitivus.keys import action_key_map import configparser def applyConfig(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()