summarylogtreecommitdiffstats
path: root/gnome-shell-extension-refresh-wifi-git.install
blob: c5a9c181c8f60e720a4c0175c0a52bb22cb29371 (plain)
1
2
3
4
5
6
7
8
post_install() {
  echo ''
  echo '==> To enable Refresh Wifi:'
  echo '==> Reload Gnome Shell with Alt-F2 r'
  echo '==> Enable it with the gnome-tweak-tool'
  echo '==> or run "gnome-shell-extension-tool -e refresh-wifi@kgshank.net"'
  echo ''
}