Как скрыть док в GNOME?
При вызове bash для входа в систему сначала ищет файлы конфигурации в следующем порядке:
~/.bash_profile > ~/.bash_login > ~/.profile
Bash перестает искать, когда находит первый, Ubuntu по умолчанию использует .profile, вы можете переименовать его на .bash_profile, если вам нравится:
mv ~/.profile ~/.bash_profile
, если у вас нет .profile, либо затем возьмите копию базового файла .profile отсюда:
cp /etc/skel/.profile ~/.profile
cp /etc/skel/.profile ~/.bash_profile
32 ответа
Вы также можете сделать это с помощью редактора dconf, который является довольно полезным инструментом, если вам нравится настраивать ваш рабочий стол.
Итак, в редакторе dconf перейдите к /org/gnome/shell/extensions/dash-to-dock и одновременно отключите эти три реквизита:
- autohide
- фиксированная док-станция
- intellihide
И у вас есть док-станция, видимая только в режиме наложения ( аналогично расширению, рекомендованному @Dan).
-
1Я должен попробовать это. Знаете ли вы, что я могу сохранить ярлыки суперклина, даже если спрятан скрытый док? – pcnate 9 March 2018 в 18:37
-
2@pcnate, не знаю, но быстрые клавиши AFAIK обычно связаны с командами, а не с элементами пользовательского интерфейса, поэтому, скорее всего, это сработает. – Roman Bekkiev 16 March 2018 в 14:22
-
3Я могу подтвердить, что ярлыки супер-клавиш все еще работают. – andersoyvind 16 May 2018 в 10:24
-
4– Desty 18 May 2018 в 23:57
-
5– Dohn Joe 30 August 2018 в 11:12
В Ubuntu 17.10 и 18.04 вы можете удалить gnome-shell-extension-ubuntu-dock, используя:
sudo apt remove gnome-shell-extension-ubuntu-dock
Это приведет к удалению док-станции Ubuntu.
Вам нужно будет перезапустить сеанс GNOME, вы может сделать это, выйдя из системы и обратно.
-
1