jeronimoseo, Не знаю, как в 18.04, а 16.04 GNOME это можно решить следующим способом:
1) Установить программу "Дополнительные параметры" (есть в "Менеджере приложений").
2) В пункте "Расширения" внизу окна нажать ссылку "Загрузить дополнительные расширения": откроется браузер и в нём страница:
https://extensions.gnome.org3) На открывшийся странице в поиске ввести название расширения: Simple dock.
4) Перейти на страницу расширения и сбоку от его названия включить "выключатель". (Тут вспоминается Задорнов с его "Только в русском языке включатель называется "выключателем".)
5) Перезагрузить учётку или компьютер. (Некоторые расширения включаются сразу, но не все, надёжнее перезагрузить.)
6) Зайти в "Дополнительные параметры" и настроить установленное расширение.
Возможные нюансы:
1) При попытке установки расширения GNOME с сайта может появиться предложение установки специального расширения для браузера, стыкующего данный сайт с "Дополнительными параметрами". Необходимо согласится. Возможно, потребуется перезагрузить браузер.
2) Если запроса на установку браузерного расширения не последовало, или даже оно появилось, но не сработало, то лучше зайти на данный сайт с Firefox.
По-идее, в 18.04 обещали сразу добавить и программу "Дополнительные параметры" и установить некоторые расширения, так что данная фича может быть уже реализована (точно сказать не могу, 18.04 ещё не ставил).