Configure the logging system

The extension uses a very simple logging framework to write diagnostic message to the logs. These messages are written in the systemd journal and can be viewed with the usual journalctl tool.

The framework supports multiple levels (TRACE, DEBUG, INFO, WARN and ERROR). By default, only messages with level INFO or higher are actually printed. This behaviour can be changed for debugging purposes. In order to do that, you can create a simple configuration file name logging.properties in the directory ~/.local/share/gnome-github-manager.

# 'root' is the main level, which is used by default by all loggers. In general this is the only entry you need
# to specify.
root = INFO

# If a more fine grained configuration is needed, you can specify additional levels.
# You can use a module name or a class name. Use :: for separator. Check the source code to
# to identify the correct names to use. This is optional and only needed for specific use cases.

# Use TRACE only for the GitHubManager class
core::GitHubManager = TRACE

# Use DEBUG for all client related classes
client = DEBUG

Once the configuration is saved, you need to restart GNOME shell in order for the changes to be picked up by the extension.