Использование этой команды работает в CentOS, Ubuntu и Debian: grep "^NAME=" /etc/os-release |cut -d "=" -f 2 | sed -e 's/^"//' -e 's/"$//'
В Debian он дает Debian GNU/Linux, в Ubuntu он дает Ubuntu, а в CentOS он дает CentOS Linux.
Преимущество использования grep, cut и sed вместо gawk ясно: у Debian по умолчанию нет gawk, поэтому вы не можете полагаться на него на случайном поле Debian.
При поиске по этому сайту я нашел других людей с аналогичными проблемами. Я сначала приписал его gnome-settings-daemon, не начинающемуся в нужное время, поэтому я попробовал исправление, указанное здесь:
https://askubuntu.com/a/21901/37438
Это не исправило проблему, но если бы я должен был убить / перезапустить gnome-settings-daemon, то я бы снова получил тему gnome.
Немного больше копания, и веб-поиск заставил меня удалить мои [ f2] из-за сообщения о входе в систему, что конфигурация моих мониторов не была правильно установлена.
Я удалил файл xml, и теперь все работает нормально. Нет больше значков gnome по умолчанию: D