1 2 3 4 5 6 7 8
post_install() { echo '' echo '==> To enable Hide legacy tray:' echo '==> Reload Gnome Shell with Alt-F2 r' echo '==> Enable it with the gnome-tweak-tool' echo '==> or run "gnome-shell-extension-tool -e hide-legacy-tray@shell-extensions.jonnylamb.com"' echo '' }