your department decided to change the gnome display managers greeting what configuration file should you edit?