I just ran an errand, and thought about that font workaround. The MATE issue makes me doubt about running the code for all the flavors.
We know that the root cause is changes to the Ubuntu font. That font is explicitly used for desktop in standard Ubuntu and MATE. But is it used for desktop by any other flavor?
I fear that we for other flavors mess with their settings unnecessarily. If the reset succeeds, it doesn't matter much, but maybe more flavors have not enabled the required systemd integration, and then our 'temporary' change gets persistent. Which may or may not matter in practice.
So maybe it would be better to only run the code for flavors where we know that it makes a difference. Something like:
is_mate = False
desktops = os.getenv('XDG_CURRENT_DESKTOP', '').split(':')
if 'MATE' in desktops:
schema = 'org.mate.interface'
is_mate = True
else if 'GNOME' in desktops:
schema = 'org.gnome.desktop.interface'
else if 'xxx' in desktops:
schema = 'yyy'
else:
return
I just ran an errand, and thought about that font workaround. The MATE issue makes me doubt about running the code for all the flavors.
We know that the root cause is changes to the Ubuntu font. That font is explicitly used for desktop in standard Ubuntu and MATE. But is it used for desktop by any other flavor?
I fear that we for other flavors mess with their settings unnecessarily. If the reset succeeds, it doesn't matter much, but maybe more flavors have not enabled the required systemd integration, and then our 'temporary' change gets persistent. Which may or may not matter in practice.
So maybe it would be better to only run the code for flavors where we know that it makes a difference. Something like:
is_mate = False 'XDG_CURRENT_ DESKTOP' , '').split(':') interface' desktop. interface'
desktops = os.getenv(
if 'MATE' in desktops:
schema = 'org.mate.
is_mate = True
else if 'GNOME' in desktops:
schema = 'org.gnome.
else if 'xxx' in desktops:
schema = 'yyy'
else:
return