id = "tint2" name = "tint2" homepage = "https://gitlab.com/o9000/tint2" description = "A simple panel/taskbar made for modern X window managers, specifically made for Openbox but working with GNOME, KDE and XFCE too." executables = ["tint2", "tint2conf"] platforms = ["linux"] [dotfiles] # doc/tint2.md, the source of the tint2(1) man page, under CONFIGURATION: # "The first time you run tint2, it will create the config file in # $HOME/.config/tint2/tint2rc". The code behind that sentence reads the XDG # variable rather than the literal — src/config.c, config_read_default_path(): # "// follow XDG specification / // check tint2rc in user directory / # path1 = g_build_filename(g_get_user_config_dir(), "tint2", "tint2rc", NULL)", # falling back to copying the system copy from g_get_system_config_dirs(). # g_get_user_config_dir() is $XDG_CONFIG_HOME, else ~/.config — so # [configHome], not a hard-coded ~/.config. # # tint2conf, the graphical configuration tool, is listed in `detect` beside # tint2: it is how most users write this file, and it ships in the same package. paths = ["[configHome]/tint2/tint2rc"] # tint2conf keeps its own generated theme copies under the same directory # ([configHome]/tint2/*.tint2rc), which are variants of the same config rather # than cache, so nothing above needs carving out. exclude = [] # A tint2rc is panel geometry, colours, fonts, the launcher item list and mouse # bindings. Nothing in it is a credential. secret = [] # No machine_lines. The tempting one is `panel_monitor`, but tint2 writes it as # an index or the word "all" rather than a device identifier, and a user who # runs one panel per monitor wants that setting to follow them. The launcher # entries name .desktop files by their system path (/usr/share/applications/…), # which is a distribution fact, not a machine one.