Для Ubuntu 17.10 я нашел использование gnome-tweak-tool наиболее удобным способом.
Установите gnome-tweak-tool, если он еще не установлен. sudo apt-get install gnome-tweak-tool
Запустите инструмент либо из командной строки, $ gnome-tweak-tool, либо с помощью Dash (tweak). Выберите Top Bar слева, а затем внесите необходимые изменения прямо под **clock**.