summarylogtreecommitdiffstats
path: root/gnome-shell-extension-drop-down-terminal.install
blob: 189e4bd2837efb88a2cad6ecb8ba6a615efbcfe7 (plain) 
1
2
3
4
5
6
7
8

post_install() {
  echo ''
  echo '==> To enable Drop Down Terminal:'
  echo '==> Reload Gnome Shell with Alt-F2 r'
  echo '==> Enable it with the gnome-tweak-tool'
  echo '==> or run "gnome-shell-extension-tool -e drop-down-terminal@gs-extensions.zzrough.org"'
  echo ''
}