Mi piacerebbe disabilitare le icone della barra delle applicazioni di terze parti in Ubuntu 18.10, perché sullo schermo HiDPi sembrano brutte -
Ho sentito che la rimozione gnome-shell-extension-appindicator
potrebbe occuparsene, ma vuole anche rimuovere i ubuntu-desktop*
pacchetti con esso, quindi non lo proverò nemmeno.
Ho provato anche un'estensione chiamata https://extensions.gnome.org/extension/351/icon-hider/ ma non funziona come previsto. Nascondeva l'icona della barra delle applicazioni appuntita, ma quando si esegue di nuovo l'app, viene creata un'altra voce dell'icona della barra delle applicazioni. Non perderò il mio tempo a nascondere nuove icone sulla barra delle applicazioni ogni volta che lancio un'app.
Inoltre non voglio installare gnome vanilla
. È necessario che nel sistema sia presente un file / un'impostazione che controlli gli indicatori delle app.
Pertanto, qualsiasi correzione per la scomparsa degli indicatori delle app sarà molto apprezzata.
Il mio sistema:
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
gnome-shell-extension-appindicator
è un pacchetto di sistema preinstallato (e anche una parte delubuntu-desktop
metapacakge), qualsiasi aggiornamento al pacchetto annullerebbe questa modifica. Quindi dovrai farlo di nuovo.