Assertion: gnome | /r/HasProperty | gdm
Facets:
Source sentences:
text: The choice of using the KDE (kdm) or GNOME (gdm) login manager is set in the config file /etc/sysconfig/desktop .