emerald-theme-manager1
The emerald theme manager
Usage
emerald-theme-manager
Overview
emerald-theme-manager is the theme manager of emerald. .
- $HOME/.emerald/settings.ini
-
Here are the settings stored.
Releases
Unchanged in 5 releases since Debian 10 (Buster).