Хотел бы отключить значки панели задач приложения сторонних производителей в Ubuntu 18.10, причине на экране HiDPi, они выглядят ужасными -
Услышанный то удаление gnome-shell-extension-appindicator
мог бы заботиться о нем, но это также хочет удалить ubuntu-desktop*
пакеты с ним, таким образом, я привычка даже пробую его.
Попробованный также расширение, названное https://extensions.gnome.org/extension/351/icon-hider/, но это не работает как ожидалось. Это действительно скрывало резкий значок панели задач приложения, но когда Вы запускаете приложение снова, другая запись значка панели задач была создана. Я привычка тратит впустую мое время, скрывая новые значки панели задач каждый раз, я запускаю приложение.
Я также не хочу устанавливать gnome vanilla
. Должен быть файл/установка в системе где-нибудь, которая управляет индикаторами приложения.
Таким образом, любой фиксирует индикаторы приложения создания, исчезают, будет высоко цениться.
Моя система:
OS: Ubuntu 18.10 x86_64
Kernel: 4.18.0-15-generic
Shell: bash 4.4.19
Resolution: 3840x2160
DE: GNOME 3.30.1
WM: GNOME Shell
WM Theme: Adwaita
Theme: Yaru [GTK2/3]
Icons: Yaru [GTK2/3]
Terminal: gnome-terminal
CPU: Intel i7-6700K (8) @ 4.300GHz
GPU: NVIDIA GeForce GTX 1080
Memory: 2790MiB / 32101MiB
Я рад совместно использовать решение этой проблемы.
Файл, ответственный за индикаторы приложения, /usr/share/gnome-shell/extensions/ubuntu-appindicators@ubuntu.com/appIndicator.js
Так, просто сделайте резервное копирование из него - appIndicator.js.BAK
= никакие более ужасные индикаторы.
И не забывайте перезапускать машину/сессию для изменений для вступления в силу ;)
Единственный недостаток отключения будет ваше дело настраивать Ваши приложения, чтобы не показать значки панели задач и не взаимодействовать с ним.
И доказательство...