22 May
2021
22 May
'21
3:27 a.m.
On 2021/05/22 03:25 AM, Dr. Nikolaus Klepp wrote:
it will depends on the actual user config. In most cases, it should solve it nicely. In
some other cases, the rename
kde- --> tde- would probably fail and would require manual editing of the menu file.
Cheers
Michele
Ah.
Interesting. Thank you. Does this solve the problem permanently, or
only until the next reboot?
Permanently across reboots .. well, till the next
major TDE update that forces r14-xdg-update to do some special things.
Nik