Я использую Docky в Gnome-Shell,
Следовательно, мне не нужна док-станция gnome-shell. Есть ли способ отключить (или, по крайней мере, скрыть) док-панель gnome-shell?
Я знаю, что могу установить ширину в любом CSS-файле темы, который я использую, равным 0px, но это требует от меня редактирования каждой темы, которую я использовать .. каждый раз, когда он обновляется (все мои темы взяты из PPA).
Может быть, есть расширение для этого?
Ах, нашел расширение, которое делает именно это: https://extensions.gnome.org/extension/79/hide-dash/