решение1
Отвечатьиз Unix & Linux Stack Exchange
Не уверен, что это немного поздно, но вы можете настроить значения,
/usr/share/gnome-shell/theme/gdm3.css
и это сработает. Просто найдитеscreen-shield-clock
класс и внесите изменения.
Если это не сработает, попробуйте подправить /etc/alternatives/gdm3.css
файл.
ps. Не забудьте сделать резервную копию файлов перед внесением изменений!
решение2
Можешь попробоватьgdm3setup. В нем есть возможность изменить шрифт. Однако он не разрабатывался несколько лет, поэтому ~ваше мнение может отличаться~.