On Sun, 29 Jan 2017 at 00:57:54 +0300, Роман Чистоходов wrote:
> Super simple solution is to write the name of icon theme (and nothing else) to
>  $XDG_CONFIG_HOME/icon-theme-name.txt file whenever DE is starting or setting
> different icon theme

I can't help thinking that a desktop environment should really be able to
start up without writing to disk, and that writes to $XDG_CONFIG_HOME should
only happen when some interesting event occurs (like a user changing
configuration).

$XDG_RUNTIME_DIR?

    S
_______________________________________________
xdg mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/xdg

Reply via email to