3 ms·

Can you not just change it yourself in Gnome Tweaks? Which font is it they are using?

• Flex247A 6y ago
  But the GDM font remains the same
  • compressedgas 6y ago
    That has to be changed in the GDM theme. Look in /usr/share/gdm/themes . Find the XML greeter file for the theme you are using, make a backup, and edit the font attributes.
    • Flex247A 6y ago
      Thank you!